Колмогоров А.Н.: Математическая логика: Введение в математическую логику
Скачать книгу (размер 1 217 Kb , формат fb2, страниц 240)
Жанр : Разное
Издательство : Эдиториал УРСС
Год издания : 2013
Аннотация:
Авторы настоящей книги — А.Н. Колмогоров и А.Г. Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник «Введение в математическую логику» написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Книга предназначена для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.