Да, в таблице была неправильная формула. Хорошо, что таблица оценок по практикуму не является критически важной системой! :-)
Таблица исправлена, досрочный экзамен может сдавать большее количество человек.
На досрочном экзамене (как и на основном) пользоваться можно исключительно своей головой. Средства связи выключаются и оставляются на входе вместе с остальными вещами. Бумага выдаётся. Списывать нельзя. И так далее.
Девятая лекция доступна по ссылке http://savenkov.lvk.cs.msu.su/mc/lect09.pdf С выкладкой видео возникли непредвиденные технические сложности, возможно к основному экзамену они будут решены.
С уважением, Константин Савенков.
On 5/28/12 4:58 PM, Гомзин Андрей wrote:
---------- Пересланное сообщение ---------- От кого: Гомзин Андрейandrey.gomzin@gmail.com Дата: 28 мая 2012 г., 12:37 Тема: Вопросы про досрок Кому: model-checking@lvk.cs.msu.su
Здравствуйте.
Завтра состоится досрочный экзамен по курсу Верификация программ на моделях. В таблице у меня практикум сдан в срок, за летучки 0 (Гомзин Андрей, 428). Но, в графе "первый экзамен" пометка о возможности сдачи досрочного экзамена отсутствует. Такая ситуация не только у меня, если посмотреть в таблицу. Вопрос: допущен ли я к досрочному экзамену?
И еще один вопрос: чем можно пользоваться на досрочном экзамене при подготовке?
Гомзин Андрей, 428 гр.