Подробное описание документа
Тимофеева И. Л.
Математическая логика. Курс лекций : учеб. пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.:
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посhящен проблемам оснований математики.
Курс лекций предназначен для студентов математических факультетов педвузов,изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
510.6 Математическая логика3 экз.![]()
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313