TY  - BOOK
AU  - Судоплатов,Сергей Владимирович
AU  - Овчинникова,Елена Викторовна
TI  - Математическая логика и теория алгоритмов: учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
T2  - Высшее образование
SN  - 5160019758
PY  - 2004///
CY  - М., Новосибирск
PB  - ИНФРА-М, Изд-во НГТУ
KW  - математическая логика
KW  - RuMoRKP
KW  - алгоритмы
KW  - учебные пособия для вузов
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - теория моделей
KW  - Пеано аксиомы арифметики
KW  - модели арифметики
KW  - тьюринга алгоритмы
KW  - рекурсивные функции
KW  - Райса теорема
KW  - Геделя теорема о неполноте
KW  - алгоритмы сортировки
KW  - конечные автоматы
KW  - пропозиционные логики
KW  - предикатные логики
KW  - алгоритмические логики
KW  - задачи
N1  - Библиогр.: с. 212-214
ER  -