|
Booksee.org
Языки исчисленияВерещагин Н.К., Шень А.Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает в себя около 200 задач различной трудности.
Тексты, составляющие книгу, являются свободно распространяемыми и доступны по адресу ftp://ftp.mccme.ru/users/shen/logic/firstword
Скачать книгу бесплатно (pdf, 1.59 Mb) | Читать «Языки исчисления»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Краткий физико-технический справочник. Общая механика, сопротивление материалов, теория механизмов и машинЯковлев К.П. (ред.)
6.29 Mb
#3
Наставление по борьбе за живучесть судов Министерства морского флота Союза ССР (НБЖС) РД 31.60.14-81Категория: Военная техника
15.10 Mb
#7
Espanol en vivo. Учебник современного испанского языка (с ключами)Нуждин Г.А., Эстремера К.М., Лора-Тамайо П.М.
24.23 Mb
#8
Русско-английский и англо-русский технический и деловой словарь судового механикаИ. В. Возницкий (авт.)
8.51 Mb
|
|