Математическая логика
Основной целью этого предмета является ознакомление студентов с основами математической логики и областями применения в математической логике. «Математическая логика» играет базовый роль для Теории алгоритмов, Теории графов, Комбинаторного анализа и Конечных автоматов.
