Курс посвящён изучению математической логики и теории алгоритмов и применению данной дисциплины в образовательном процессе.