ВУЗ:
Составители:
Рубрика:
Математическая Логика и Теория Алгоритмов стр. 63 из 64
© 2003 Галуев Геннадий Анатольевич
Литература.
Основная:
1. С. Клини. Математическая логика. М.: ''Мир'', 1973. стр. 480.
2. Д. Гильберт, П. Бернайс. Основания математики. Логические исчисления и
формализация арифметики. М. : ''Наука'', 1979. стр.557.
3. А. А. Марков , Н. М. Нагорный. Теория алгоритмов. М. : ''Наука''. 1984. стр. 432.
4. И. А. Лавров, Л. Л. Максимова. Задачи по теории множеств, математической ло-
гике и
теории алгоритмов. М.: ''Наука''. 1984. стр. 223.
5. Ю. Л. Ершов, Е. А . Палютин. Математическая логика. М. ''Наука''. 1979. стр.
320.
Дополнительная.
1. Чень Ч., Ли Р. математическая логика и автоматическое доказательство теорем.
М. : ''Наука''. 1983. стр. 358.
2. Мальцев А. И. Алгоритмы и рекурсивные функции. М. : ''Наука''. 1965. стр. 391.
3. Эббинхауз Г. Д. , Якобс К. и другие. Машины Тьюринга и рекурсивные функ-
ции. М. : ''Мир''. 1972. стр. 264.
