Использование полуформальных процедур в теории рекурсивных функций аналогично использованию неполностью формализованных теоретико-множественных методов в других разделах математики. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений теории рекурсивных функций. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, эта книга написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в книге содержится очень много упражнений. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Книга доступна аспирантам и студентам старших курсов университетов и пединститутов.
Название: Теория рекурсивных функций и эффективная вычислимость. Theory Of Recursive Functions And Effective Computability
Автор: Роджерс X.
Издательство: М.: Мир
Год: 1972
Страниц: 624
Язык: Русский
Формат: djvu
Размер: 21,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать Теория рекурсивных функций и эффективная вычислимость
