В курсе "Прикладная логика" рассматривается логический формализм как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Вводятся матричное представление логических формул и операции над матрицами.
- Преподаватель: Сафонов Константин Владимирович