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

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

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

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

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

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

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

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