- 2 402 202 книги
- Поиск
libcats.org
Computability and Unsolvability
Martin DavisClassic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
БОЕВЫЕ ЗНАКИ Бронетанковые войска СССР - Германия
Автор: Группа авторовКатегория: История
Размер книги: 2.67 Mb
Асимптотические методы в теории нелинейных колебаний
Автор: Боголюбов Н.Н., Автор: Митропольский Ю.А.Категория: Physics
Размер книги: 4.47 Mb
Применение различных систем налогообложения. Проблемы совмещения
Автор: И. А. ТолмачевКатегория: Бухгалтеру
Размер книги: 1.66 Mb
Programming Multi-Agent Systems: Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers (Lecture Notes ... Lecture Notes in Artificial Intelligence)
Автор: Mehdi Dastani, Автор: Amal El Fallah Seghrouchni, Автор: Alessandro Ricci, Автор: Michael Winikoff
Размер книги: 8.58 Mb