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

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