Математическая логика. Дополнительные главы

Описание

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

Рейтинг издания

Нет оценки

Математическая логика. Дополнительные главы

Автор: 
Колмогоров А.Н.
Издатель: 
URSS
Серия: 
Классический университетский учебник
Переплет: 
твердый переплет
Страниц: 
240
Год издания: 
2020
Категория: 
Математическая логика: учебники и книги

Интернет-магазины

Математическая логика. Дополнительные главы

Купить

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


Математическая логика. Введение в математическую логику

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

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости.

Логика и логическая семантика. Выпуск №15

Логика и логическая семантика. Выпуск №15
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которог

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

Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов.

Логика и философия математики

Логика и философия математики
В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.

Логика и философия математики

Логика и философия математики
В книге помещены некоторые из неопубликованных при жизни автора статей, а также несколько статей, опубликованных в изданиях, ставших в настоящее время труднодоступными.