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

Автор

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

Год

2006

Страниц

241

ISBN

ISBN10:5484005205

Издатель

КомКнига

Описание:

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

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

Описание:

Похожие книги