Математическая логика. Курс лекций

Математическая логика. Курс лекций
Автор
 
Год
 
Страниц
 
304
ISBN
 
9785982273079
Издатель
 
КДУ
Категория
 
Основания математики. Математическая логика. Теория чисел

Содержание:

Робинзон Крузо, Молль Флендерс

Описание:

Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.

Похожие книги

Русская живопись в музеях РСФСР. Выпуск IXРусская живопись в музеях РСФСР. Выпуск IX
Автор: Под редакцией Г. Ю. Касьяновой
Год: 1960