Математическая логика: курс лекций. Учебное пособие

Математическая логика: курс лекций. Учебное пособие

Ирина Тимофеева

     

бумажная книга



Издательство: Книжный дом "Университет"
Дата выхода: апрель 2007
ISBN: 978-5-98227-307-9
Тираж: 1 000 экземпляров
Объём: 304 страниц
Масса: 355 г
Обложка: мягкая

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

Каталог