Подробное описание документа

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9.

А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941 – 1998) – выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены учебники А. Н. Колмогорова и А. Г.Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В.Ломоносова.
Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Геделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Учебники и пособия

Общее кол-во в фондах

3 экз.

Заказать на абонемент

Заказать в читальный зал

1. Абонемент младших курсов №1, УЛК, ауд. 247л
2. Абонемент младших курсов №2, УЛК, ауд. 205л
3. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
4. Преподавательский абонемент ауд.313, ГУК, ауд. 313
5. Читальный зал ауд.305л, УЛК, ауд. 305л
6. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 238 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-484-00520-5.

Кол-во в фондах 188 экз.

подробнее

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X.

Кол-во в фондах 6 экз.

подробнее