- 2 402 202 книги
- Поиск
libcats.org
Языки и исчисления
Верещагин Н.К., Шень А.Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Задачи по теории строения молекул
Автор: Симкин Б.Я., Автор: Клецкий М.Е., Автор: Глуховцев М.Н.Категория: Ch_Chemistry
Размер книги: 3.50 Mb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Задачи по теории строения молекул
Автор: Симкин Б.Я., Автор: Клецкий М.Е., Автор: Глуховцев М.Н.Категория: Ch_Chemistry
Размер книги: 3.50 Mb
JavaScript Bible, Fifth Edition
Автор: Danny Goodman, Автор: Michael Morrison
Размер книги: 24.15 Mb
Justice, Society and Nature: An Exploration of Political Ecology
Автор: Brendan Gleeson
Размер книги: 2.84 Mb