ОДМ — Лабораторні роботи
Лабораторна складова дисципліни «Основи дискретної математики».
Розташування
По одній підтеці на роботу — Laboratory<N>/ — безпосередньо в цій теці. Кожна
містить main.md (зміст) та частини:
| Файл | Призначення |
|---|---|
1purpose.md |
Мета роботи |
2method.md |
Методичні вказівки (теорія, опис середовища, алгоритми) |
4task.md |
Завдання за варіантами та порядок виконання |
5report.md |
Зміст звіту |
6questions.md |
Контрольні запитання |
плюс теку img/ для ілюстрацій.
Роботи
- Створення логічних схем — таблиця істинності → ДДНФ/ДКНФ → мінімізація картами Карно → побудова схем у редакторі logic.ly.
- Створення системи логічних предикатів — генеалогічне дерево мовою Prolog у середовищі SWISH.
Оцінювання
Кожна робота — 10 балів і має три рівні складності (базовий 60–74, середній
75–89, високий 90–100); оцінка відповідає найвищому повністю виконаному рівню. Умови
рівнів наведені в 4task.md кожної роботи. Роботи виконуються за індивідуальними
варіантами (варіант — за номером у журналі) та захищаються усно.
Інструменти
- logic.ly — онлайн-редактор для моделювання логічних схем (Лб №1); реєстрація не потрібна, працює у браузері.
- SWISH SWI-Prolog — онлайн-середовище Prolog (Лб №2); підійде й будь-який інший інтерпретатор Prolog.