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

Математическая

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