Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

Математическая логика. Дополнительные главы

Колмогоров А.Н., Драгалин А.Г.
Математическая

Название Математическая логика. Дополнительные главы
Автор Колмогоров А.Н. Драгалин А.Г.
Издательство Московский университет
Год 1984
Метки математика учебник математическая логика логика
Размер 1.77 МБ
Рейтинг книги
0.00
(оценок < 5)
1 10

СКАЧАТЬ КНИГУ

ЧИТАТЬ ONLINE

БУМАЖНАЯ ВЕРСИЯ КНИГИ


Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.



Популярные книги раздела
Справочник по высшей математике
Выгодский М. Я.
Задачи и упражнения по математической логике
Игошин В.И.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.