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

Поскольку на консультации было довольно мало народа, напишу на всякий случай сюда.

Оценка складывается из следующих частей: - задача на LTL; необходимо построить формулу, а при ответе сказать, на каких классах трасс выполняется/не выполняется свойство и обосновать, почему это так, опираясь на структуру формулы; правильное решение оценивается в 0,5 балла, неправильное -- в -0,5 за попытку, всего две попытки, тем самым вы получаете -1..+0,5 - два вопроса -- за каждый 0..1 балла - один обязательный дополнительный вопрос: 0 (пусть будет так)..0,5

Далее дополнительные вопросы (скорее всего, по ненаписанным контрольным), если принимающий сочтёт это необходимым. Каждый вопрос -- -0,5 (неверный ответ) или +0,5 (верный ответ).

В табличке указано, во сколько вам приходить -- обратите внимание, пожалуйста.

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