- 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
Только что пользователи скачали эти книги:
НФ: Альманах научной фантастики. Выпуск 28 (1983)
Автор: Ревич Всеволод Александрович, Автор: Сергиенко Константин Константинович, Автор: Генкин Валерий Исаакович, Автор: Кацура Александр Васильевич, Автор: Геворкян Эдуард Вачаганович, Автор: Спиваковская А. С., Автор: Шах Георгий, Автор: Андерсон Пол, Автор: Симон ЭрикКатегория: Научная Фантастика
Размер книги: 721 Kb
Brooks, Terry - Shannara 08 (Trilogy Prequel) - First King of Shannara
Автор: Brooks Terry
Размер книги: 968 Kb
Коэффициенты Фурье - Радемахера функций их симметричных пространств
Автор: Асташкин С. В.
Размер книги: 424 Kb
Problems & Solutions In Scientific Computing With C++ And Java Simulations
Автор: Willi-Hans Steeb, Автор: Yorick Hardy, Автор: Alexandre Hardy, Автор: Ruedi Stoop
Размер книги: 1.23 Mb
Urban Environment and Infrastructure: Toward Livable Cities
Автор: Anthony G. Bigio, Автор: Bharat Dahiya
Размер книги: 2.11 Mb
Французско-русские термины по таре и упаковке.
Автор: Составитель Г.С.Поспехова. Ответственный редактор И.И.Убин.
Размер книги: 3.39 Mb