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

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

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

Автор: Роджерс Х.

Издательство: Мир.

Место издания: Москва

Тип переплёта: Тканевый.

Год издания: 1972

Формат: Увеличенный.

Состояние: Хорошее.

Страниц: 624 с.

Код: 166428 - 7*2*3