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

Автор(ы)

Роджерс Х

Год

1972

Язык

rus

Теги

Математика

Аннотация

Теория рекурсивных функций и эффективная вычислимость Год : 1972 Автор : Роджерс Х. Переводчик : Душский В.А., Канович М.И., Ногина Е.Ю. Жанр : Математика / Математическая логика Издательство : Мир Язык : Русский Формат : DjVu Качество : Отсканированные страницы + слой распознанного текста Интерактивное оглавление : Да Количество страниц : 312 Описание : Книга дает понятие о современном состоянии теории рекурсивных функций и обзор главных приложений этой теории. В ней показано развитие теории рекурсивных функций, начиная с ее рождения в тридцатых годах и заканчивая результатами исследований последних лет. Книга не предполагает наличие предварительных знаний у читателя, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится большое количество различных упражнений. Примеры страниц