Несколько решённых заданий по мат.логике, ИжГТУ