Курс посвящен изучению математической логики и теории алгоритмов