Курс об основах математической логики и применению ее в реальной жизни. Программа рассчитана на студентов, обучающихся инженерным специальностям, и школьников старших классов, увлекающихся логикой и математикой.
Преподаватель курса профессор кафедры «Компьютерные системы в управлении и проектировании» ТУСУР, кандидат физ.-мат. наук, старший научный сотрудник.