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

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