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

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

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

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

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

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

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

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