ИТМО, ИС, Матан - контрольная