Название: Математическая логика
Автор: Колмогоров А.Н., Драгалин А.Г.
Издательство: КомКнига
Год: 2006
Страниц: 240
Формат: djvu (rar+3%)
Размер: 3,44 Мб
ISBN: 5-484-00520-5
Качество: хорошее(600 dpi+OCR+оглавление/алфавитный указатель)
Серия или Выпуск: Классический университетский учебник
Язык: Русский
А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова.
Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
[hide]Скачать[hide]