Поиcк по сайту by Google


Rambler's Top100
Образование Крыму » Математика » Теория рекурсивных фунцкий и эффективная вычислимость - Роджерс Х.

Теория рекурсивных фунцкий и эффективная вычислимость - Роджерс Х.

Скачать
Название: Теория рекурсивных фунцкий и эффективная вычислимость
Автор: Роджерс Х.
Категория: Математика
Тип: Книга
Дата: 19.01.2009 14:10:43
Скачано: 543
Оценка:
Описание: Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Книга рассчитана на читателей, интересуйщихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.
Файл: 4.91 МБ
Скачать