В.И. Игошин - Задачи и упражнения по математической логике и теории алгоритмов - 2007 (1019105), страница 63
Текст из файла (страница 63)
213 Построение выводов из аксиом (214). Построение выводов из гипотез (217). Теорема о дедукции и ее применение (218). Глава 37. ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ ....................221 0 12. Машины Тьюринга . . 221 Применение машин Тьюринга к словам (222). Конструирование машин Тьюринга (229). Вычислимые по Тьюрингу функции (237). 0 13. Рекурсивные функции . 240 Примитивно рекурсивные функции (240). Примитивно рекурсивные предикаты (246).
Оператор минимизации. Общерекурсивные и частично рекурсивные функции (247). й 14. Нормальные алгоритмы Маркова ............................................ 248 Марковские подстановки (249). Нормальные алгоритмы и их применение к словам (250). Нормально вычислимые функции (253). .257 .301 Список литературы Учебное издание Игошин Владимир Иванович Задачи и упражнения по математической логике и теории алгоритмов Учебное пособие 3-е издание, стереотипное Редактор В.Н.
Шакиров Технический редактор А.В. Шакиров Компьютерная верстка: Т.А. Клименко Корректоры П. С. Рожкова, Е.В. Соловьева Изд. № 103106571. Подписано в печать 01.11.2006. Формат 60»90/16. Гарнитура «Таймс» Печать офсетная. Бумма тип. № 2. Усл. печ. л. 19,0. Тираж 2 000 экз. Заказ № 17897. Издательский центр «Академия». »»чан.асаг)еш)а-шоасон.ги Санитарно-эпидемиологическое заключение № 77.99.02.953Д.004796.07.04 от 20.07.04 117342, Москва, ул. Буглерова, 17-Б, к. 360.
Тел./факс: (495) 330-1092, 334-8337 Отпечатано в ОАО «Саратовский полиграфический комбинат». 410004, г. Саратов, ул. Чернышевского, 59. .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
