КМ-3 ИИС Логика предикатов. Логические следствия 18 вариант МЭИ 5 семестр
Описание
Задание 2. Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение
Задание 3. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения
Задание 4. Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнением.Показать/скрыть дополнительное описание
Задание 1. Пусть Р(x) означает «...» Что означают утверждения? Какие из них истинны, какие нет? 2. Как записать утверждения Задание 2. Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение Задание 3. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения Задание 4. Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2.
Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнением..
НИУ «МЭИ» 
asya.study.love
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
