TY  - BOOK
AU  - Зюзьков,Валентин Михайлович
ED  - Томский государственный университет
TI  - Теория алгоритмов: [учебное пособие для студентов математических направлений и специальностей университетов]
SN  - 9785751119324
PY  - 2009///
CY  - Томск
PB  - Издательство Томского университета
KW  - учебные пособия для вузов
KW  - теория алгоритмов
KW  - функции вычислимые
KW  - функции частично рекурсивные
KW  - Тьюринга машины
KW  - лямбда-исчисление
KW  - Черча нумералы
KW  - функции рекурсивные
KW  - вычислимость
KW  - невычислимость
KW  - аксиоматика
KW  - исчисление высказываний
KW  - элементарная арифметика
KW  - Геделя теорема о неполноте
KW  - алгоритмы
KW  - NP-полнота
KW  - комбинаторы
KW  - операторы рекурсивные
KW  - куины
KW  - логика предикатов
KW  - логико-математические языки
KW  - аксиоматические теории формальные
KW  - сложность вычислений
KW  - учебные издания
N1  - Библиогр.: с. 158-159; Получено из издательства
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828
ER  -