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

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

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

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

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

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

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

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