ГРНТИ | |
УДК |
Рубрики:
математическая логика
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ
математическая логика
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ
Аннотация: Авторы настоящей книги --- А.Н.Колмогоров и А.Г.Драгалин --- выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)