Драгалин

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982
Скачать и читать Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982
 

Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006

Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

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

Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006
Скачать и читать Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006
 

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

   Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982
Скачать и читать Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982