Добрый день,
Большая просьба -- проставлять оценки по досроку приходите либо к началу экзамена, либо после 14:00, дабы не отнимать время у своих менее счастливых товарищей.
Те, у кого не сданы задачи -- приходите вовремя, дабы не отнимать время у самих себя.
Ещё раз про оценивание ваших ответов.
В билете три вопроса: по теории, по практике и задача на LTL. Можно считать, что за правильный ответ на вопрос билета ставится 1 балл, их сумма прибавляется к оценке 2. Три балла по ответу на билет, таким образом, дают вам 5 баллов.
Правильный ответ на дополнительный вопрос добавляет 0.5 балла, неправильный -- отнимает 0.5 балла.
Неправильное решение задачи в 3 вопросе билета отнимает у вас 0.5 балла, после чего вы получаете подсказку (трассу, на которой ваша формула отличается от требуемого свойства).
Суммарно подсказок и дополнительных вопросов может быть не более 3 (трёх).
По поводу несданных задач. Задачи вам нужно решить до получения билета. Каждая несданная задача -- минус 1 балл. Со всеми вытекающими.