# ОДМ — Лабораторні роботи

Лабораторна складова дисципліни **«Основи дискретної математики»**.

## Розташування

По одній підтеці на роботу — `Laboratory<N>/` — безпосередньо в цій теці. Кожна
містить `main.md` (зміст) та частини:

| Файл | Призначення |
|---|---|
| `1purpose.md` | Мета роботи |
| `2method.md` | Методичні вказівки (теорія, опис середовища, алгоритми) |
| `4task.md` | Завдання за варіантами та порядок виконання |
| `5report.md` | Зміст звіту |
| `6questions.md` | Контрольні запитання |

плюс теку `img/` для ілюстрацій.

## Роботи

1. [Створення логічних схем](Laboratory1/main.md) — таблиця істинності → ДДНФ/ДКНФ →
   мінімізація картами Карно → побудова схем у редакторі [logic.ly](https://logic.ly/demo/).
2. [Створення системи логічних предикатів](Laboratory2/main.md) — генеалогічне дерево
   мовою Prolog у середовищі [SWISH](https://swish.swi-prolog.org/).

## Оцінювання

Кожна робота — **10 балів** і має **три рівні складності** (базовий 60–74, середній
75–89, високий 90–100); оцінка відповідає найвищому повністю виконаному рівню. Умови
рівнів наведені в `4task.md` кожної роботи. Роботи виконуються за індивідуальними
варіантами (варіант — за номером у журналі) та захищаються усно.

## Інструменти

- **[logic.ly](https://logic.ly/demo/)** — онлайн-редактор для моделювання логічних
  схем (Лб №1); реєстрація не потрібна, працює у браузері.
- **[SWISH SWI-Prolog](https://swish.swi-prolog.org/)** — онлайн-середовище Prolog
  (Лб №2); підійде й будь-який інший інтерпретатор Prolog.