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