Онлайн библиотека книг, публикаций и пособий!!!
Книга есть жизнь нашего времени,
в ней все нуждаются — и старые, и малые. (Белинский В. Г.)

Жанры книг

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





Формат: Электронная/бумажная книга
Жанр: Математическая логика, теория графов
Автор(ы): Колмогоров А.Н., Драгалин А.Г.
Название: Математическая логика. Дополнительные главы
Серия: не указана
Издательство: Московский университет
Год: 1984

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


Просмотров за:
весь период: 65    день: 1    месяц: 64   год: 64






Дополнительная информация