Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(075.8)<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 13
1.
   51
   К26


    Карпов В.Г.
    Математическая логика и дискретная математика : учебное пособие для вузов / Карпов В.Г., Мощеннский В.А. - Минск : Вышэйшая школа, 1977. - 254 с. - Б. ц.
УДК
Рубрики: Математика--Основания математики
Кл.слова (ненормированные):
логика -- логика математическая -- математика -- математика дискретная


Доп.точки доступа:
Мощеннский В.А.
Свободных экз. нет
Найти похожие
2.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- исчисление пикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- 08


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 9
ЧЗ (2), АБ (7)
Свободны: ЧЗ (2), АБ (7)
Найти похожие
3.
   51
   Э19


    Эдельман С.Л.
    Математическая логика:Учебное пособие для пед.ин-ов / Эдельман С.Л. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
ББК 510.6(075.8)
Рубрики: Математика--Математическая логика

Свободных экз. нет
Найти похожие
4.
   51
   А45


   
    Алгоритмы и машины Тьюринга : учеб.-метод. пособие / Б. Н. Дроботун, В. Г. Кадькалов. - Павлодар : ПГУ им. С.Торайгырова, 2003. - 105 с. - 205.00 тг.
УДК
Рубрики: Математика--Математическая логика
   Труды ученых ПГУ

Кл.слова (ненормированные):
алгоритмы -- математика -- машины -- Тьюринг


Доп.точки доступа:
Дроботун, Б. Н.; Кадькалов, В. Г.
Экземпляры всего: 85
ЧЗ (5), ППС (2), Колледж (10), АБ (68)
Свободны: ЧЗ (5), ППС (2), Колледж (10), АБ (68)
Найти похожие
5.
   51
   Н86


    Нұрсұлтанов, Қ.
    Дискреттi математикалық логика : оқу құралы / Қ. Нұрсұлтанов. - Семей : Шәкәрiм атындағы СМУ, 2002. - 328 б. - ISBN 9965492263 : 430.00 тг.
УДК
Рубрики: Математика--математикалық логика
Кл.слова (ненормированные):
математика -- логика -- информатика -- дискреттi математика

Перейти: http://library.psu.kz/fulltext/buuk/b652.pdf
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
6.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- теория множеств -- алгебраические системы -- исчисление предикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции

!odfp_W.pft: FILE NOT FOUND!
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
7.
   51
   З-98


    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учеб. пособие для студ. вузов, обучающихся по спец. "Комплексное обеспечение информационной безопасности автоматизированных систем" / Зюзьков, В. М., Шелупанов, А. А. - М. : Горячая линия-Телеком, 2007. - 176 с. - (Учебное пособие. Специальность для высших учебных заведений). - ISBN 59335173492 : 3660.80 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- булевы алгебры -- логика предикатов -- исчисления -- логические парадоксы -- многозначные логики -- задачи -- упражнения


Доп.точки доступа:
Шелупанов, А. А.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
8.
   51
   Д64


    Досанбай, П. Т.
    Математикалық логика : оқулық / П. Т. Досанбай. - Алматы : Дәуір, 2011. - 280 б. - (АВ. ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 978-601-217-244-7 : 666.00 р.
УДК
Рубрики: Математика--Математикалық логика
Кл.слова (ненормированные):
математикалық логика -- дискретті математика -- жиындар теориясы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритмдер -- тест тапсырмалары

Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
9.
   51
   Г85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов : [учебное пособие для вузов по направлению "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - М. : Кнорус, 2013. - 206 с. - ISBN 978-5-406-02434-8 : 1585.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- булевая алгебра -- теория алгоритмов -- нечеткие множества -- язык Пролог -- логическое программирование -- логические функции


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
10.
   519
   Т98


    Тюрин, С. Ф.
    Дискретная математика: практическая дискретная математика и математическая логика : учебное пособие для вузов / С. Ф. Тюрин, Ю. А. Аляев. - М. : Финансы и статистика : ИНФРА-М, 2010. - 382 с. - ISBN 978-5-279-03463-5 : 2395.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
дискретная математика -- функции -- синтез комбинационных автоматов -- кодирование -- математическая логика -- теория алгоритмов -- компьютерная математика


Доп.точки доступа:
Аляев, Ю. А.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
11.
   51
   Г56


    Глухов, М. М.
    Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие / М. М. Глухов, А. Б. Шишков. - М. ; СПб. ; Краснодар : Лань, 2012. - 405 с. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-1344-7 : 6350.00 р.
УДК
Рубрики: Математика--Высшая математика
Кл.слова (ненормированные):
математическая логика -- алгебра предикатов -- дискретные функции -- теория алгоритмов -- вычисления


Доп.точки доступа:
Шишков, А. Б.
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
12.
   51
   К84


    Крупский, В. Н.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. Н. Крупский, В. Е. Плиско. - М. : Академия, 2013. - 416 с. - (Высшее профессиональное образование. Бакалавриат) (Информатика и вычислительная техника). - ISBN 978-5-7695-955-2 : 4084.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- множества -- логика высказываний -- исчисление высказываний -- логика предикатов -- элементарные языки -- алгоритмическая теория множеств -- арифметика -- машины Тьюринга -- теорема Тарского -- теорема Эрбрана -- примеры трудных задач


Доп.точки доступа:
Плиско, В. Е.
Экземпляры всего: 15
ЧЗ (2), АБ (13)
Свободны: ЧЗ (2), АБ (13)
Найти похожие
13.
   51
   Д64


    Досанбай, П. Т.
    Математикалық логика [Электрондық ресурс] : оқулық / П. Т. Досанбай. - Электрон. дер. (3,61 Мб.). - Алматы : Дәуір, 2011. - 1 эл. опт. диск. - (АВ. ҚР Жоғары оқу орындарының қауымдастығы). - Тақырыбы контейнерден. - 200.00 р.
УДК
Рубрики: Математика--Математикалық логика
Кл.слова (ненормированные):
3486 -- математикалық логика -- дискретті математика -- жиындар теориясы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритмдер -- тест тапсырмалары

Экземпляры всего: 1
Медиатека (1)
Свободны: Медиатека (1)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015