Добрый день,

Большая просьба -- проставлять оценки по досроку приходите либо к началу экзамена, либо после 14:00, дабы не отнимать время у своих менее счастливых товарищей.

Те, у кого не сданы задачи -- приходите вовремя, дабы не отнимать время у самих себя.

Ещё раз про оценивание ваших ответов.

В билете три вопроса: по теории, по практике и задача на LTL. Можно считать, что за правильный ответ на вопрос билета ставится 1 балл, их сумма прибавляется к оценке 2. Три балла по ответу на билет, таким образом, дают вам 5 баллов.

Правильный ответ на дополнительный вопрос добавляет 0.5 балла, неправильный -- отнимает 0.5 балла.

Неправильное решение задачи в 3 вопросе билета отнимает у вас 0.5 балла, после чего вы получаете подсказку (трассу, на которой ваша формула отличается от требуемого свойства).

Суммарно подсказок и дополнительных вопросов может быть не более 3 (трёх).

По поводу несданных задач. Задачи вам нужно решить до получения билета. Каждая несданная задача -- минус 1 балл. Со всеми вытекающими.