Математическая логика: учебное пособие

Математическая логика: учебное пособие

Bibliografiska uppgifter
Huvudupphovsman: Колмогоров А.Н. Андрей Николаевич
Institutionell upphovsman: Московский государственный университет им. М. В. Ломоносова
Övriga upphovsmän: Драгалин А. Г. Альберт Григорьевич
Sammanfattning:В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Språk:ryska
Publicerad: Москва, УРСС, 2005
Upplaga:2-е изд., стер.
Serie:Классический университетский учебник
Ämnen:
математическая логика
теория
множества
логико-математические языки
логические законы
аксиоматические теории
алгорифмы
доказательства
Materialtyp: Bok
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=81150

Liknande verk

Liknande verk