Роджерс Х.

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

Автор Роджерс Х.
Издательство Мир
Год 1972
Формат DJVU
Рейтинг книги
0.00
(оценок < 5)
0 10

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

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



X