Включает лабораторные работы, охватывающие решение таких задач, как упрощение булевой формулы, логический вывод, оптимизация, прогнозирование, семантический разбор, диагностика, классификация.
