Методические указания к практическим занятиям для студентов
механико-математического факультета. — Самарский государственный
университет, 2000. — 20 с.
Методические указания предназначены для студентов 2 курса
специальности "математика". Набор задач соответствует программе
курса "Математическая логика" и включает в себя темы: логические
формулы, эквивалентные преобразования формул, нормальные формы,
логическое следование, прикладные задачи, логические функции,
исчисление высказываний, исчисление секвенций, логика предикатов.
Логические формулы. Таблицы значений
Эквивалентные преобразования формул
Нормальные формы
Логическое следование
Прикладные задачи
Проверка правильности рассуждений
Упрощение систем высказываний
«Логические» задачи
Логические функции
Исчисление высказываний
Исчисление секвенций
Логика предикатов
Истинность в логике предикатов
Запись предложений естественного языка
Формулы логики предикатов
Список рекомендуемой литературы
Эквивалентные преобразования формул
Нормальные формы
Логическое следование
Прикладные задачи
Проверка правильности рассуждений
Упрощение систем высказываний
«Логические» задачи
Логические функции
Исчисление высказываний
Исчисление секвенций
Логика предикатов
Истинность в логике предикатов
Запись предложений естественного языка
Формулы логики предикатов
Список рекомендуемой литературы