Математическая логика и теория алгоритмов Вариант №2

ВСЁ ДЛЯ СТУДЕНТА

Пятница, 10.01.2025, 20:40

Приветствую Вас, Гость

[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]

Страница 1 из 1
1

Математическая логика и теория алгоритмов Вариант №2 (Контрольная работа)

Математическая логика и теория алгоритмов Вариант №2

engineerklub

Дата: Суббота, 06.01.2018, 12:03 | Сообщение # 1

Генералиссимус

Группа: Администраторы

Сообщений: 29399

Репутация: 0

Статус: Offline

Математическая логика и теория алгоритмов» Контрольная работа. Вариант №2

Тип работы: Работа Контрольная
Форматы файлов: Microsoft Office
Сдано в учебном заведении: ДО СИБГУТИ

Описание:
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
(A→B) → (¬(C →¬A) → ¬(C → ¬B))
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Намеченная атака удастся, только если захватить противника врасплох или же если позиции его плохо защищены. Захватить его врасплох можно только, если его позиции плохо защищены. Значит, атака не удастся.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
5 задании
Работа выполнена успешно!!!

Комментарии: Контрольная работа. Вариант 2. работа выполнена успешно. работа содержит 5 заданий. год выполнения 2018

СКАЧАТЬ МОЖНО ЗДЕСЬ

Математическая логика и теория алгоритмов Вариант №2 (Контрольная работа)

Страница 1 из 1
1