Андрей Николаевич Колмогоров А. Г. Драгалин
издано в 1984 г.
Добавлена: 24.03.2011
Аннотация
Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику», но может изучать и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Впечатления о книге:
'
Просмотров 
Другие новости по теме:
 Фундаментальные основы дискретной математики (djvu) | Элементы математической логики и теории множеств (djvu) | Математическая логика и теория алгоритмов (djvu) | Теория доказательств. Математическая логика и основания математики (djvu) | Основные понятия теории вероятностей (djvu) | Элементы теории множеств и математической логики (pdf) |
