Дорогие студенты,

В таблице проставлены те, кто может сдать экзамен досрочно. Критерий -- 5 за практикум и [0,1] за контрольные. Досрочный экзамен будет включать в себя один вопрос на теорию, задачу на построение формулы LTL и доп. вопрос. Оценка за досрочный экзамен будет проставлена в ведомость, без дополнительной попытки на основном.

К сожалению, раньше 25 мая устроить его не получится -- поэтому, пожалуйста, 1) решите, нужен ли вам такой досрочный экзамен (за неделю до основного) и если да, то 2) закажите на 25 мая аудиторию и сообщите мне об этом.

С уважением, Константин Савенков.