dmlab-lawchain

Про dmlab-lawchain

Вихідний код

Ліцензія MIT

Лабораторні роботи

Покрокові розв'язки: таблиці істинності, закони логіки, предикати, множини, відношення, функції, булеві функції й код Геммінга

Логіка висловлювань і предикатів

  1. 1.1Таблиця істинності і спрощенняПобудувати таблицю, звести до ¬ ∧ ∨
  2. 1.2Метод контрприкладуПеревірка на тавтологію контрприкладом
  3. 1.3Еквівалентність формулТаблиці, закони, комбінований спосіб
  4. 1.4Предикати і кванториКвантори на області {a, b}

Комп'ютерне подання множин

  1. 2.1Вектори, множини, діаграма, булеанТаблиця належності, діаграма, булеан
  2. 2.2Спрощення виразу законамиСпростити вираз крок за кроком
  3. 2.3Включення–виключенняПідрахунок для множин, що перетинаються

Властивості відношень і функцій Незабаром

  1. 3.1Властивості й тип відношенняМатриця, властивості, еквівалентність, порядок, толерантність
  2. 3.2Операції над відношеннямиОбернене, доповнення, операції над множинами, композиція
  3. 3.3Властивості функціїІн'єктивність, сюр'єктивність, бієктивність; виправлення функції

Булева алгебра Незабаром

  1. 4.1Таблиця істинності, ДДНФ і ДКНФФункція, задана номерами наборів
  2. 4.2Карти КарноМінімальні ДНФ і КНФ
  3. 4.3Метод Мак-КласкіПрості імпліканти й скорочена ДНФ
  4. 4.4Імплікантна таблицяТупикові й мінімальні ДНФ: перебір і метод Петріка
  5. 4.5Код ГеммінгаКодування, виправлення однієї помилки, виявлення кількох

Теорія графів Незабаром

  1. 5.1Обходи, зв'язність, ейлерові циклиПошук углиб і вшир, вершинна та реберна зв'язність, ейлерів цикл або маршрут
  2. 5.2Алгоритм найближчого сусідаГамільтонів цикл у зваженому графі
  3. 5.3Орієнтований графМатриці й списки, зв'язність, ейлерові та гамільтонові контури і шляхи
  4. 5.4Матриця досяжностіСтепені матриці суміжності й алгоритм Воршелла
  5. 5.5Алгоритм ДейкстриНайкоротші шляхи й дерево найкоротших шляхів

Застосування дерев Незабаром

  1. 6.1Алгоритм КраскалаМінімальне остовне дерево зваженого графа
  2. 6.2Дерево за кодом ПрюфераПокрокове декодування коду Прюфера
  3. 6.3Дерево виразуБінарне дерево виразу, польський і зворотний польський запис, обчислення
  4. 6.4Пошук із поверненнямГамільтонові цикли й маршрути, розфарбування найменшою кількістю кольорів, дерева пошуку