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

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

Вид работы	Контрольная работа
Предмет	Логика
Тема работы	Контрольная по математической логике и теория алгоритмов. Вариант 20
Город	Нет
ВУЗ	Нет
Количество страниц	0
Содержание работы или список заданий	Задание 1. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера. Варианты заданий в формате: (номер фигуры силлогизма, название модуса). 20. 1-Ferio. Задание №2. Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»). 20. «Неверно, что студент не сдает зачет тогда и только тогда, когда он не выполнил контрольную работу и не имеет конспекта лекций». Задание №3. Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции). 20. Задание №4. Проверить аргумент методом резолюций. Получить все следствия из данных посылок. 20. «Если я достану учебник или конспект, то сдам зачет. Если мой приятель не уедет в Кембридж, то я достану учебник. Если я достану конспект, то он уедет в Кембридж. Значит, я сдам экзамен». Задание №5. По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.
Список литературы
Цена	790

Вы можете посмотреть данную работу (номер 10779) целиком у нас в офисе и приобрести за наличные.

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

1. оплатите стоимость готовой работы - 790 руб на:
- карту Сбербанка: 4276 1609 8845 9716
- или Юмани: 410011122535505 (в салонах Евросеть и Связной без комиссии или в любом терминале оплаты (комиссия от 0% до 7%, в зависимости от терминала).
2. Отправьте письмо на электронную почту: zakaz.avrora@yandex.ru или сообщение Кристине Селене ВКонтакте с темой: Готовая работа № 10779. И текстом: Прошу отправить готовую работу №10779 на почту (укажите Вашу электронную почту) или ВКонтакте.
Приложите к сообщению фото или скан чека об оплате.

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

По любым вопросам можете связаться с нами также:
- по телефонам: (342) 243-15-98, 8-912-88-18-598;
- icq: 644788412.