02.04.03 Математическое обеспечение и администрирование информационных систем

Курс «Введение в математическую логику и метод резолюций» знакомит студентов с основами формальной логики и ее ключевым алгоритмом автоматического доказательства теорем — методом резолюций. В рамках курса изучаются классические стратегии (семантическая резолюция, гиперрезолюция, стратегия поддержки, парамодуляция), а также реализуются практические задания и интерактивные тренажеры для закрепления навыков логического вывода.