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

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

Bibliographic Details
Main Author: Колмогоров А.Н. Андрей Николаевич
Corporate Author: Московский государственный университет им. М. В. Ломоносова
Other Authors: Драгалин А. Г. Альберт Григорьевич
Summary:В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Published: Москва, УРСС, 2005
Edition:2-е изд., стер.
Series:Классический университетский учебник
Subjects:
математическая логика
теория
множества
логико-математические языки
логические законы
аксиоматические теории
алгорифмы
доказательства
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=81150

Similar Items

Similar Items