ВУЗ:
Составители:
Рубрика:
Печатается по решению Редакционно-издательского совета
Самарского государственного университета
Методические указания предназначены для студентов 2 курса
специальности «математика». Набор задач соответствует программе
курса «Математическая логика» и включает в себя темы: логические
формулы, эквивалентные преобразования формул, нормальные фор-
мы, логическое следование, прикладные задачи, логические функции,
исчисление высказываний, исчисление секвенций, логика предикатов.
Составитель доцент И.С. Фролов
Рецензент доцент В.Б. Соколовский
c
° Фролов И.С.
составление, 2000
