Метою дисципліни "Математична логіка та теорія алгоритмів" є розгляд фундаментальних об’єктів, структур і моделей із розділів "Математична логіка" та "Теорія алгоритмів" сучасного дискретного аналізу, а також підходів і методів розв’язування типових прикладних задач.
- Викладач: Філіпчук Микола Петрович