Четверг, 16.01.2025, 07:31
Приветствую Вас, Гость
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
  • Страница 1 из 1
  • 1
Форум » Физика, Метрология, Математика, Информатика, Геометрия » Контрольные, лабораторные работы, задачи и др » Дискретная математика. Логические исчисления (Работа Лабораторная)
Дискретная математика. Логические исчисления
engineerklubДата: Воскресенье, 01.10.2023, 17:52 | Сообщение # 1
Генералиссимус
Группа: Администраторы
Сообщений: 29644
Репутация: 0
Статус: Offline
Дискретная математика. Логические исчисления

Тип работы: Работа Лабораторная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: НОВОСИБИРСКИЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ КОЛЛЕДЖ

Описание:
Задание:
1. Придумать фразы для тождественно – истинные высказываний:
1.1. A → A
1.2. A & ¬A
1.3. A ∨ ¬ A
1.4. ¬ ¬ A ~ A
1.5. A & (A → cool → B
1.6. (¬B → ¬A) → (A → cool
1.7. (A → cool & (B → C) → (A → C)

2. Придумать фразы для тождественно – ложные высказываний:
2.1. A & ¬A
2.2. A → (B → A) → (B & ¬B)

3. Придумать фразы для Аксиоматики Клини:
3.1. A → (B → A)
3.2. (A → cool → (A → (B → C)) → (A → C)
3.3. A → (B → A & cool
3.4. A & B → A
3.5. A & B → B
3.6. A → A ∨ B
3.7. B → A ∨ B
3.8. (A → C) → ((B → C) → (A ∨ B → C))
3.9. (A → cool → ((A → ¬ B ) → ¬ A)
3.10. ¬ ¬ A → A
3.11. ⱯxA(x)→A(y)
3.12. A(y)→ƎxA(x)

4. Придумать фразы для Силлогизмы Аристотеля:
4.1. А – общеутвердительное. Ɐx(P(x)→Q(x))
4.2. Е – общеотрицательное. ¬Ǝx(P(x)&Q(x))
4.3. I – частноутвердительное. Ǝx(P(x)&Q(x))
4.4. O - частноотрицательное. ¬Ɐx(P(x)→Q(x))

5. Придумать фразы для законов обратимости используя Силлогизмы Аристотеля:
5.1. ¬A=O
5.2. ¬O=A
5.3. ¬E=I
5.4. ¬I=E

5. Придумать фразы для законов логики используя Силлогизмы Аристотеля:
5.1. A → I
5.2. E → O
5.3. ¬A → E
5.4. ¬E → A
5.5. ¬I → O
5.6. ¬O → I

6. Придумать Силлогизмы

7. Сделать исчисление кванторов и предикатов

8. Сделать вывод

СКАЧАТЬ
 
engineerklubДата: Воскресенье, 01.10.2023, 17:53 | Сообщение # 2
Генералиссимус
Группа: Администраторы
Сообщений: 29644
Репутация: 0
Статус: Offline
Тип работы: Работа Лабораторная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: НОВОСИБИРСКИЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ КОЛЛЕДЖ

Описание:
Задание:
Стих с 16 строками написать формулой

Стихотворение:
Как долго длился день!.. Как долго я не мог
Уйти от глаз толпы в мой угол одинокий,
Чтоб пошлый суд глупцов насмешкою жестокой
Ни, горьких дум моих, ни слез не подстерег…
И вот я наконец один с моей тоской:
Спешите ж, коршуны, – бороться я не стану, –
Слетайтесь хищною и жадною толпой
Терзать моей души зияющую рану!..
Пусть из груди порой невольно рвется крик,
Пусть от тяжелых мук порой я задыхаюсь, –
Как новый Прометей, к страданьям я привык.
Как новый мученик, я ими упиваюсь!..
Они мне не дадут смириться пред судьбой,
Они от сна мой ум ревниво охраняют
И над довольною и сытою толпой,
Как взмах могучих крыл, меня приподымают!..
С. Я. Надсон

СКАЧАТЬ
 
Форум » Физика, Метрология, Математика, Информатика, Геометрия » Контрольные, лабораторные работы, задачи и др » Дискретная математика. Логические исчисления (Работа Лабораторная)
  • Страница 1 из 1
  • 1
Поиск:

Рейтинг@Mail.ru