0
Математическая логика
Информация о книге:

Издательство: Мир и образование

Год: 2007

ISBN: 978-5-98227-307-9

Кол-во страниц: 304

Формат: pdf

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

Тимофеева И. Л.

(0)

Порекомендовать в соцсетях

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