| Казахстан, Алматы |
Инспектор
Вы можете этот курс.
Основы теории вычислимых функций
:Основы теории вычислимых функций
: Литература по курсу- 1.Вычислимость и логикаМ.:Мир, 1994. 396с
- 2.Теория нумерацийМ.:Наука, 1977. 416с
- 3.Вычислимость. Введение в теорию рекурсивных функцийМ.:Мир, 1983. 256с
- 4.Введение в метаматематикуМ.:Издательство иностранной литературы, 1957. 526с
- 5.Алгоритмы и рекурсивные функцииМ.:Наука, 1965. 392с
- 6.Вычислимое и невычислимоеМ.:Советское радио, 1980. 128с
- 7.Вычисления и автоматыМ.:Мир, 1971. 366с
- 8.Теория рекурсивных функций и эффективная вычислимостьМ.:Мир, 1972. 624с
- 9.Справочная книга по математической логике в четырёх частях. Часть III. Теория рекурсииМ.:Наука, 1982. 360с
- 10.Лекции о вычислимых функцияхМ.:Физматгиз, 1960. 492с
- 11.Теория алгоритмов основные открытия и приложенияМ.:Наука, 1987
- 12.Степени неразрешимостиМ.:Наука, 1977. 192с
