|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 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
Только что пользователи скачали эти книги:
Земляничная татуАвтор: Хендерсон ЛоренКатегория: Современная проза, Остросюжетные любовные романы
Размер книги: 598 Kb
Военные тайны XX века - Данилов С.Ю. - Гражданская война в ИспанииАвтор: Сергей Юрьевич Данилов
Размер книги: 1.96 Mb
Governance, The State, Regulation and Industrial Relations (Routledge Explorations in Economic History, 20)Автор: Ian ClarkКатегория: История
Размер книги: 1.07 Mb
The Nature of Science in Science Education: Rationales and Strategies (Science & Technology Education Library)Автор: W.F. McComas
Размер книги: 2.24 Mb
|
|
|