Название: Математическая логика. Курс лекций
Автор: Тимофеева И.Л.
Издательство: КДУ
Год: 2007
Страниц: 304
Формат: pdf
Размер: 1,3 mb
ISBN 978-5-98227-307-9
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.
<!—FFriend—>
<!—FFriend—>