- 2 402 202 книги
- Поиск
libcats.org
Языки и исчисления
Верещагин Н.К., Шень А.Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
3000 примеров по математике (3-4 класс)
Автор: Узорова О.В., Автор: Нефедова Е.А.
Размер книги: 1.42 Mb
3000 примеров по математике. Счет в пределах 100
Автор: Узорова О.В., Автор: Нефедова Е. А.
Размер книги: 227 Kb
3000 примеров по математике. Счет в пределах десятка
Автор: Узорова О.В., Автор: Нефедова Е. А.
Размер книги: 906 Kb
Production Planning by Mixed Integer Programming
Автор: Yves Pochet, Автор: Laurence A. Wolsey
Размер книги: 3.21 Mb
The Touch of Twilight
Автор: Vicki PetterssonКатегория: engeneering_technology
Размер книги: 1.61 Mb
Communication and Citizenship: Journalism and the Public Sphere (Communication and Society)
Автор: Peter Dahlgren, Автор: Colin SparksКатегория: Наука (общее), Научно-популярное
Размер книги: 1.19 Mb
Пальчиковая гимнастика
Автор: Узорова О. В., Автор: Нефедова Е. А.Категория: КНИГИ ДЛЯ ДЕТЕЙ
Размер книги: 119 Kb