Создан заказ №5551337
16 октября 2020
Математическая логика и теория алгоритмов
Как заказчик описал требования к работе:
Задание 1.
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.
Варианты заданий в формате: (номер фигуры силлогизма, название модуса).
Задание №2.
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции тольк
о следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).
Задание №3.
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
Задание №4.
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
Задание №5.
По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
17 октября 2020
Заказ завершен, заказчик получил финальный файл с работой
5
Математическая логика и теория алгоритмов.docx
2020-10-20 19:55
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа сделана в срок, были небольшие замечания к преподавателя, но автор быстро все исправил! Спасибо за работу