Цены Вас приятно удивят! | Отправьте Ваше задание на оценку стоимости через форму заказа, администратору группы ВКонтакте или по эл.почте - это бесплатно и ни к чему Вас не обязывает))

МАГАЗИН ГОТОВЫХ РАБОТ


Называйте менеджеру номер готовой работы: 10779


Контрольная работа по предмету Логика на тему: Контрольная по математической логике и теория алгоритмов. Вариант 20


Вид работы

Контрольная работа

Предмет

Логика

Тема работы

Контрольная по математической логике и теория алгоритмов. Вариант 20

Город

Нет

ВУЗ

Нет

Количество страниц

0

Содержание работы или список заданий

Задание 1.
Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.
Варианты заданий в формате: (номер фигуры силлогизма, название модуса).

20. 1-Ferio.

Задание №2.
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

20. «Неверно, что студент не сдает зачет тогда и только тогда, когда он не выполнил контрольную работу и не имеет конспекта лекций».
Задание №3.

Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
20.

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

20. «Если я достану учебник или конспект, то сдам зачет. Если мой приятель не уедет в Кембридж, то я достану учебник. Если я достану конспект, то он уедет в Кембридж. Значит, я сдам экзамен».






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








Список литературы

Цена

790

Для того, чтобы приобрести данную работу ДИСТАНЦИОННО и получить ее на свою ЭЛ.ПОЧТУ или ВКОНТАКТЕ:

1. оплатите стоимость готовой работы - 790 руб на:
- карту Сбербанка или Т-банка по номеру телефона: +79124901990
2. Отправьте письмо на электронную почту: zakaz.avrora@yandex.ru или сообщение Кристине Селене ВКонтакте с темой: Готовая работа № 10779. И текстом: Прошу отправить готовую работу №10779 на почту (укажите Вашу электронную почту) или ВКонтакте.
Приложите к сообщению фото или скан чека об оплате.

Проверьте задания, чтобы соответствовали Вашим. Готовые работы из Магазина готовых работ на нашем сайте были ранее успешно сданы и продаются в виде "как есть". То есть не предполагают доработок. Если появятся какие либо замечания у преподавателя, то доработать нужно будет самостоятельно, или заказывать доработку отдельным заказом.

По любым вопросам можете связаться с нами по телефону: +7-912-88-18-598