Задание №5.

По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.

Контрольная работа выполняются от руки в отдельной тетради в клеточку, на обложку наклеивается распечатанный титульный лист. Срок сдачи – за 30 дней до начала экзаменационной сессии.

Министерство сельского хозяйства РФ,

Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Пермская Государственная сельскохозяйственная академия имени академика Д.Н.Прянишникова»

Кафедра ИТАП

Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»

(Вариант 11)

Выполнил: студент группы ИСб– 11

Иванов И.И.

Проверил: Доцент кафедры ИТАП

кандидат педагогических наук,

Доцент Кондратьев а.В.

Пермь –2014 г.