Теория рекурсивных функций и эффективная вычислимость (DJVU/RUS)

Название: Теория рекурсивных функций и эффективная вычислимость
Автор: Роджерс Х.
Издательство: Мир
Год издания: 1972
Страниц: 312
Язык: Российский
Формат: DjVu
Качество: не плохое
Размер: 7 Мб

Книжка выделяет понятие о современном состоянии доктрине рекурсивных функций и обозрение основных приложений данной доктрине. В ней показано становление доктрине рекурсивных функций, начиная с ее рождения в 30-х годах и заканчивая плодами изысканий последних лет. Книжка не подразумевает присутствие подготовительных познаний у читателя, не считая знакомства с теоретико-множественной терминологией, книжка Роджерса написана неплохим, ясным языком; при всем при этом формальному изложению предпосылаются содержательные размышления, разъясняющие природу вводимых понятий либо мыслях построений и доказательств; в ней находится много всевозможных упражнений.