ВУЗ:
Составители:
УДК 512.8, 510.5
Зюзьков В. М.
Теория алгоритмов: Учебное пособие. – Томск: Изд-во Том. Ун-та, 2005. – 101 с.
В пособии содержится материал спецкурса, читаемого автором в последние годы
на механико-математическом факультете ТГУ для студентов специализации
«Компьютерная математика». Основные разделы: алгоритмы и вычислимые функции,
ламбда–исчисление, вычислимое и невычислимое, формальные аксиоматические теории,
элементарная арифметика и неполнота, сложность вычислений, NP-полнота.
Предназначено для преподавателей математики и компьютерных наук, а также для
студентов высших учебных заведений.
Рецензенты:
Кафедра программирования Томского государственного университета, зав. кафедрой д-р
техн. наук, профессор А. Ю. Матросова
Зав. кафедрой прикладной математики Томского государственного архитектурно-
строительного университета, д-р
физ.-мат. наук, профессор М. И. Слободской
© В. М. Зюзьков, 2005
