Задание №5.

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

Контрольная работа выполняются от руки в отдельной тетради в клеточку, на обложку наклеивается распечатанный титульный лист:

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

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

Кафедра информационных технологий

и автоматизированного проектирования

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

(Вариант 11)

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

Иванов И.И.

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

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

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

Пермь –2013г.