model-checking Май 2012

model-checking@asvk.cs.msu.ru

1 участники
11 обсуждения

Консультация
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

День зачета
by model checking course mailing list 21 Май '12

21 Май '12

Дорогие студенты, Сегодня-затра я подведу итоги по практикуму и контрольным и опередлю тех, кто получит автомат и тех, кто не получит допуск к экзамену. Давайте 25 мая устроим день, когда будут выставлены зачеты по практикуму АСВК и не успевшие сдать 5-е задание его досдадут. Не уверен, что получится в 758 -- прошу старосту потока, Евгения Шальнова, заказать какую-нибудь достаточно вместительную аудиторию и написать мне об этом. Надеюсь, что у всех кто не сдал есть ноутбуки или друзья с ноутбуками. С уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Май 2012