Имя:
Пароль:


a b c d e f g h i j k l m n o p q r s t u v w x y z    0 1 2 3 4 5 6 7 8 9 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я 

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

25 апреля 2009 | Автор: Admin | Рубрика: Научная литература » Математика | Комментариев: 0
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.



http://rapidshare.com/files/363445/Rodzhers_H.djvu

Информация

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