Задание №5.
По вариантам задания №1 формализовать
умозаключение по заданному модусу в
логике предикатов. Доказать или
опровергнуть умозаключение по заданному
модусу методом резолюций с использованием
двух моделей формализации.
Контрольная работа выполняются от
руки в отдельной тетради в клеточку,
на обложку наклеивается распечатанный
титульный лист:
Министерство
сельского хозяйства РФ,
Федеральное
государственное образовательное
учреждение высшего профессионального
образования «Пермская Государственная
сельскохозяйственная академия имени
академика Д.Н.Прянишникова»
Кафедра
информационных технологий
и автоматизированного
проектирования
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
(Вариант 11)
Выполнил: студент группы ИСб– 11
Иванов И.И.
Проверил:
Доцент кафедры ИТАП
кандидат педагогических наук,
Доцент Кондратьев а.В.
Пермь –2013г.