Теория рекурсивных функций и эффективная вычислимость
Автор:
Х. Роджерс, 624 стр., издатель:
"Книга по Требованию", ISBN:
978-5-458-40259-0
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов. Воспроизведено в оригинальной авторской орфографии издания 1972 года (издательство "Мир"). Внимание! На данный товар не распространяются ни оптовые, ни накопительные скидки. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании.
В наличии: |
|
My-shop.ru - 1500 руб.
|
Перейти
|
|
|
Рейтинг книги:



4 из 5,
5 голос(-ов).