|
|
libcats.org
Computability and LogicGeorge S. Boolos, John P. Burgess, Richard C. JeffreyComputability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Dante: Poet, Author, And Proud Florentine (Makers of the Middle Ages and Renaissance)Автор: John C. DavenportКатегория: История
Размер книги: 4.50 Mb
Medieval Ireland: An Encyclopedia (Routledge Encyclopedias of the Middle Ages)Автор: Sean DuffyКатегория: История
Размер книги: 4.94 Mb
English Mystics of the Middle Ages (Cambridge English Prose Texts)Автор: Barry WindeattКатегория: История
Размер книги: 7.52 Mb
Beasts and Birds of the Middle Ages: The Bestiary and Its LegacyАвтор: Willene B. Clark (Editor), Автор: Meradith T. McMunn (Editor) , Автор: University of Pennsylvania Press (December 1989)Категория: История
Размер книги: 14.21 Mb
Verification and Scheduling Techniques for Real-Time Embedded Systems (Linkoping studies in science and technology)Автор: Luis Alejandro CortesКатегория: Образование
Размер книги: 1.54 Mb
|
|
|