Накупить товаров
  в интернет-магазине!
Главная Каталог
на главную » Каталог » Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика

Каталог товаров:



вернуться

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

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

1500 руб Заказать
В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Воспроизведено в оригинальной авторской орфографии издания 1972 года (издательство "Мир"). Она доступна аспирантам и студентам старших курсов университетов и пединститутов.
2012
0.0089
© 2012 - Nakupit.ru - интернет магазин