model-checking

model-checking@asvk.cs.msu.ru

130 обсуждения

Порядок экзамена + про тех, кто на пересдачу
by model checking course mailing list 08 Июн '12

08 Июн '12

Дорогие студенты, Для тех из вас, кто не был на консультации, сообщаю, как будет проходить экзамен. Экзамен письменный. На экзамене вы получите следующие вопросы (в скобках указан диапазон баллов, которые можно получить за ответ на вопрос - [fail,win]): - вопрос из первой половины списка вопросов (0..1) - вопрос из второй половины списка вопросов (0..1) - дополнительный вопрос (0..0.5) - задача на LTL (-0.5..0.5) - по одному дополнительному вопросу (-0.5..+0.5) за каждую контрольную, за которую в семестре вы получили -1 (вопрос по тематике контрольной) Да, при очень плохом ответе можно получить оценку меньше базового балла. Да, базовый балл можно проставить в зачетку, не сдавая экзамена (хотя я не рекомендую). Время на написание ответов - 2 часа. Пользоваться можно только ручкой и головой, бумагу вам выдадут. Телефоны, вещи и разные полезные гаджеты остаются при входе в аудиторию. Во время написания ответов консультироваться с другими студентами нельзя, списывать также нельзя. Выход из аудитории сопровождается сдаванием работы. Нарушение этих правил влечет удаление с экзамена и выставление оценки неуд. Мы постараемся проверить работы в тот же день и выложить комментарии. Проставление оценок будет проходить в дополнительный день после экзаменов (или на последующих экзаменах других групп). Аппеляции -- строго в отдельный день. Важное дополнение, про которое я не сказал на консультации. Студенты, получившие базовый балл -1 и не допущенные к сдаче экзамена -- приходите на него, вам будет выдана контрольная по мотивам практикума, по результатам проверки которой вы будете допущены к следующей пересдаче. Или, при неудаче, будете там писать такую же контрольную. С уважением, Константин Савенков.

1 0

Консультация
by model checking course mailing list 30 Май '12

30 Май '12

Дорогие студенты, Консультация перед экзаменом по курсу пройдет в пятницу 8 июня в аудитории П-13 с 10 до 12 часов. Будет здорово, если вы посмотрите материал курса перед консультацией и зададите мне интересующие вас вопросы. С уважением, Константин Савенков.

1 0

Re: [model-checking] Fwd: Вопросы про досрок
by model checking course mailing list 28 Май '12

28 Май '12

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

1 0

Проставление практикума АСВК
by model checking course mailing list 26 Май '12

26 Май '12

Дорогие студенты, Те, кто сегодня не проставил практикум, могут сделать это во вторник, 29 мая, во время досрочного экзамена. С уважением, Константин Савенков.

1 0

Допуск к экзамену
by model checking course mailing list 25 Май '12

25 Май '12

Дорогие студенты. Я решил допустить к экзамену тех из вас, кто, пусть и с большим опозданием, но сдал все задания практикума - путем поднимания оценки за практикум в таких случаях до 3 баллов. С уважением, Константин Савенков.

1 0

Время и место досрочного экзамена
by model checking course mailing list 24 Май '12

24 Май '12

На вторник 29 мая заказана 582 аудитория с 10-00 до 13-00. Ещё раз напоминаю: либо на досрочный, либо на основной. Если оценка на досрочном не устраивает -- на пересдачу. С уважением, Константин Савенков.

1 0

Досрочный экзамен
by model checking course mailing list 24 Май '12

24 Май '12

Дорогие студенты. Тем из вас, у кого в графе "ПЕРВЫЙ ЭКЗАМЕН" в таблице появилась надпись "досрочно" я могу предложить сдать досрочны экзамен по следующей схеме. Вы заказываете на следующий вторник небольшую аудиторию с 10 часа на три. Вы получите по два вопроса, у вас будет час на подготовку, затем я побеседую с каждым по этим вопросам и выставлю вам оценку. При этом предполагается, что на основной (письменный) экзамен вы не приходите (то есть это для вас дополнительная попытка, а именно экзамен, просто чуть раньше и в другой форме). Подумайте, нужно ли вам это и, если нужно, закажите аудиторию и напишите мне об этом. С уважением, Константин Савенков.

1 0

Копии сданных заданий
by model checking course mailing list 23 Май '12

23 Май '12

Господа и дамы, Предупреждаю, что баллы за сданные задания, копии которых не будут присланы до 24:00 24-го мая, будут аннулированы. Совсем. С уважением, Константин Савенков.

1 0

Сезон весенних распродаж
by model checking course mailing list 22 Май '12

22 Май '12

Дорогие студенты, У тех из вас, кто не сдал какое-то задание вовремя, появилась уникальная возможность сдать его 25-го мая всего за 25% от стоимости. На 5-е задание скидка не распространяется. Только обратите внимание, что это не семинар -- баллы будут выставляться только за правильно выполненные пункты заданий, без возможности переделать. И помните, что баллы за неприсланные копии заданий сгорают! С уважением, Константин Савенков.

1 0

Семинар в среду
by model checking course mailing list 21 Май '12

21 Май '12

Те, кто не успел сдать задание на семинаре и прислал его на почту -- было бы здорово, чтобы вы сдали свои задания в эту среду Даниилу Зорину. А именно: 421: Батанов, Ерофеев, Зачесов 422: Бабак, Жураховский, Сорокин 424: Марулин 425: Куприков, Переходько, Свиридов, Смагин 427: Гладкова, Долотказин 428: Гомзин, Дмитриев, Ефимов, Селезнев. Подходите в 8:45 к.758. Если будет закрыто, думаю, вместе с Даниилом найдете другую комнату. С уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking