Дорогие студенты,
21 июня, в понедельник, будет пересдача для тех из вас, кто не уехал на
военные сборы. Время начала -- 10 утра, аудитория 510.
Тем из вас, кто попал на пересдачу "автоматом" из-за пробивания
практикума, будет предложена контрольная работа. В работе будет набор
простых задач, проверяющих те практические навыки, которые вы должны
были получить в ходе данного курса, а именно:
1. Оценка числа потенциальных состояний параллельной программы,
2. Оценка числа достижимых состояни…
[View More]й параллельной программы,
3. Построение модели параллельной программы на языке Promela,
4. Выполнение абстракции с учётом проверяемых свойств,
5. Формулировка свойств параллельной программы при помощи встроенных
средств SPIN,
6. Формулировка свойств параллельной программы при помощи LTL,
ну и заодно 7. Построение автомата Бюхи по формуле LTL.
При выполнении всех заданий (с незначительными недочётами) у вас будет
базовый балл 0, максимальная оценка 3 и возможность сдать устный экзамен.
В остальном пересдача будет протекать по той же схеме, что и основной
экзамен.
Для тех, кто в танке, сообщаю, что после начала подготовки и до
выставления оценки 1) общение с сокурсниками 2) пользование мобильным
телефоном и 3) использование шпаргалок запрещено и ведёт к удалению с
экзамена с выставлением оценки "неудовлетворительно". Выход из аудитории
во время экзамена сопровождается сдаванием работы.
С уважением,
Константин Савенков.
[View Less]
Дорогие студенты,
Поскольку на консультации было довольно мало народа, напишу на всякий
случай сюда.
Оценка складывается из следующих частей:
- задача на LTL; необходимо построить формулу, а при ответе сказать, на
каких классах трасс выполняется/не выполняется свойство и обосновать,
почему это так, опираясь на структуру формулы; правильное решение
оценивается в 0,5 балла, неправильное -- в -0,5 за попытку, всего две
попытки, тем самым вы получаете -1..+0,5
- два вопроса -- за каждый 0..1 …
[View More]балла
- один обязательный дополнительный вопрос: 0 (пусть будет так)..0,5
Далее дополнительные вопросы (скорее всего, по ненаписанным
контрольным), если принимающий сочтёт это необходимым. Каждый вопрос --
-0,5 (неверный ответ) или +0,5 (верный ответ).
В табличке указано, во сколько вам приходить -- обратите внимание,
пожалуйста.
С уважением,
Константин Савенков.
[View Less]
