|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Введение в математическую логикукнига
- Авторы: Колмогоров А.Н., Драгалин А.Г.
- Год издания: 1982
- Место издания: Изд-во МГУ Москва
- Объём: 120 страниц
- Тираж: 29500 экз.
- Учебное пособие, имеющее гриф
- Аннотация: Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
- Добавил в систему: Золин Евгений Евгеньевич