Добро пожаловать!

Вход на сайт

» » » » Теория рекурсивных функций и эффективная вычислимость
Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

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

Автор: natagu Дата: 30-05-2021, 05:19 Категория: Информатика, Мат. и алгебра

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

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


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

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



Просмотров: 245 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.