8 июня 2012 г., 11:50 пользователь model checking course mailing list <model-checking@lvk.cs.msu.su> написал:

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

Для тех из вас, кто не был на консультации, сообщаю, как будет проходить экзамен.

Экзамен письменный.

На экзамене вы получите следующие вопросы (в скобках указан диапазон баллов, которые можно получить за ответ на вопрос - [fail,win]):
- вопрос из первой половины списка вопросов (0..1)
- вопрос из второй половины списка вопросов (0..1)
- дополнительный вопрос (0..0.5)
- задача на LTL (-0.5..0.5)
- по одному дополнительному вопросу (-0.5..+0.5) за каждую контрольную, за которую в семестре вы получили -1 (вопрос по тематике контрольной)

Да, при очень плохом ответе можно получить оценку меньше базового балла.

Да, базовый балл можно проставить в зачетку, не сдавая экзамена (хотя я не рекомендую).

Время на написание ответов - 2 часа. Пользоваться можно только ручкой и головой, бумагу вам выдадут. Телефоны, вещи и разные полезные гаджеты остаются при входе в аудиторию. Во время написания ответов консультироваться с другими студентами нельзя, списывать также нельзя. Выход из аудитории сопровождается сдаванием работы. Нарушение этих правил влечет удаление с экзамена и выставление оценки неуд.

Мы постараемся проверить работы в тот же день и выложить комментарии. Проставление оценок будет проходить в дополнительный день после экзаменов (или на последующих экзаменах других групп). Аппеляции -- строго в отдельный день.

Важное дополнение, про которое я не сказал на консультации. Студенты, получившие базовый балл -1 и не допущенные к сдаче экзамена -- приходите на него, вам будет выдана контрольная по мотивам практикума, по результатам проверки которой вы будете допущены к следующей пересдаче. Или, при неудаче, будете там писать такую же контрольную.

С уважением,
Константин Савенков.
_______________________________________________
model-checking mailing list
model-checking@lvk.cs.msu.su
https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/model-checking