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