Математическая логика и теория алгоритмов

Курс создается для оценивания практической работы студентов по дисциплине