книга Элементы математической логики

Название: Элементы математической логики
Автор: Новиков П.С.
Страниц: 400
Формат: DJVU
Размер: 6,77 Мб
Качество: Нормальное
Язык: Русский
Год издания: 1973


Предлагается доступное изложение основ математической логики, излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики.Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.

Краткое содержание
Введение
Глава I. Алгебра высказываний
Глава II. Исчисление высказываний
Глава III. Логика предикатов
Глава IV. Исчисление предикатов
Глава V. Аксиоматическая арифметика
Глава VI. Элементы теории доказательства
Предметный указатель.


  [dfiles] [turbobit] [shareflare]

Математическая логика - Л. М. Лихтарников, Т. Г. Сукачева скачать djvu 2.8 Мб - Л. М. Лихтарников, Т. Г. Сукачева

---

Элементы математической логики и теории множеств скачать djvu 1,51 - Пензов Ю.П.

---

Иллюстрированный самоучитель по Турбо Паскалю скачать djvu 1,51 - Пензов Ю.П.

---

Зигмунд Фрейд скачать doc 5,30 mb - Феррис Пол

---

Введение в математическую логику. Том 1 скачать djvu 5,30 mb - Чёрч А.

---

1

Нравится

Твитнуть