|
|
libcats.org
Теория рекурсивных фунцкий и эффективная вычислимостьРоджерс Х.Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Автомобиль ГАЗ-66-11 и его модификации. Руководство по эксплуатацииАвтор:Категория: Военная техника
Размер книги: 4.31 Mb
Автомобиль УАЗ PATRIOT. Руководство по техническому обслуживанию и ремонту. ИР05808600.050-2005. Изд 2Автор:Категория: Военная техника
Размер книги: 11.22 Mb
A guide to Feynman diagrams in the many-body problemАвтор: Richard D. Mattuck
Размер книги: 5.63 Mb
Спор о варягах. История противостояния и аргументы сторон.Автор: Клейн Лев СамуиловичКатегория: история, исторические науки
Размер книги: 9.99 Mb
Fundamental Finite Element Analysis and Applications: with Mathematica and MATLAB ComputationsАвтор: M. Asghar BhattiКатегория: Математика, Вычислительная математика
Размер книги: 23.95 Mb
Nuclear Risk Reduction in South Asia (Henry L. Stimson Center Books)Автор: Michael Krepon
Размер книги: 869 Kb
Contemporary Challenges to International Business (Academy of International Business)Автор: Kevin Ibeh, Автор: Sheena DaviesКатегория: Бизнес
Размер книги: 1.71 Mb
Books for Burning: Between Civil War and Democracy in 1970s ItalyАвтор: Antonio Negri, Автор: Timothy S. Murphy, Автор: Arianna Bove
Размер книги: 52.46 Mb
Organic Coatings for Corrosion Control (ACS Symposium)Автор: Gordon P. Bierwagen
Размер книги: 41.12 Mb
|
|
|