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

Колмогоров А.Н., Драгалин А.Г.5-484-00520-5

А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.

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

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

——————————————

Другие книги по математической логике и теории алгоритмов на сайте:

Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика
Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга
Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике (3-е изд.(2005))
Гилберт Д., Аккерман В. Основы теоретической логики
Гилберт Д., Бернайс П. Основания математики
Гуц А.К. Математическая лоrика и теория алrоритмов
Гладкий А.В. Математическая логика
Гохман А.В. Сборник задач по математической логике и алгебре множеств
Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
Ершов Ю.Л., Палютин Е.А. Математическая логика
Игошин В.И. Математическая логика и теория алгоритмов
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов
Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики
Клини С.К. Математическая логика
Крайзель Г. Исследования по теории доказательств
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Л. М. Лихтарников, Т. Г. Сукачева Математическая логика
Мацнев А.П. Математическая логика и теория алгоритмов
Мальцев А.И. Избранные труды, в 2-х томах
Мальцев А.Н. Алгоритмы и рекурсивные функции
Мендельсон Э. Введение в математическую логику
Никольская И.Л. Математическая логика
Новиков П.С. Элементы математической логики
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики
Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения

Отдельно первая книга из входящих в данное издание:

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