КОД (ISBN):
5-484-00520-5
978-5-484-00520-8

Книга: Математическая логика. 3-е изд., стер

Товар № 10025626

3-е изд., стер., ВУЗ

Автор: Драгалин А.Г., Колмогоров А.Н.

Издательство: КомКнига

Вес: 0.340 кг.

Год издания: 2006

Страниц: 240

Товар отсутствует

Узнать о поступлении

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