Электронный обучающий курс предназначен для реализации ЭО и ДОТ в 2018-2019 учебном году по дисциплине "Математическая логика и теория алгоритмов" для студентов направления 090302 - "Информационные системы и технологии".