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