mathlogic course, ctd ifmo