Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.
Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Дополнительно: УВАЖАЕМЫЕ ПОКУПАТЕЛИ!
Прочитайте, пожалуйста, условия покупки перед оформлением заказа.
ДОСТАВКА ПО МОСКВЕ: Встречи в Москве на участке красной ветки метро от ст. 'Юго-Западная до ст.'Чистые пруды или на кольцевых станциях.' от 13.00 по взаимной договоренности. Указывайте, пожалуйста, номер контактного телефона.
Курьерская доставка по Москве осуществляется только после согласования адреса дост... [подробнее]