Подробное описание документа

Тимофеева И. Л.
Математическая логика. Курс лекций : учеб. пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.: с. 294. - ISBN 978-5-98227-307-9.

Аннотация

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

УДК
510.6 Математическая логика

Предметные рубрики

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

Общее кол-во в фондах
3 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313