model-checking Февраль 2010

model-checking@asvk.cs.msu.ru

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

Сроки сдачи первого задания
by model checking course mailing list 28 Фев '10

28 Фев '10

Дорогие студенты, На всякий случай: последний срок сдачи первого задания -- завтра. Очно -- на семинарах (приоритет -- естественно, у групп, для которых семинары по расписанию), по почте -- до 0:00 02.02.2010. С уважением, Константин Савенков.

1 0

Комментарий к первому заданию
by model checking course mailing list 26 Фев '10

26 Фев '10

Дорогие студенты, Обратите внимание, что изменение оператором значения переменной (например, в случае присваивания) происходит _после_ выполнения данного оператора. Т.е. в тот момент, когда изменился счётчик программы, эффект от выполнения оператора ещё не наблюдается. Учитывайте это при построении множества достижимых состояний. Для удобства лучше всегда добавлять в последовательную программу "терминальный" оператор, в который переходит управление после выполнения последнего оператора программы, и в котором наблюдается эффект от последнего оператора. С уважением, Константин Савенков.

1 0

Комментарий к 1 заданию
by model checking course mailing list 16 Фев '10

16 Фев '10

Дорогие студенты, Под параметрами "c" и "d" в задании имеются ввиду параметры "a" и "b" функции "g". С уважением, Константин Савенков.

1 0

По контрольной
by model checking course mailing list 15 Фев '10

15 Фев '10

Дорогие студенты, Выложены результаты сегодняшней контрольной работы: http://spreadsheets.google.com/pub?key=tW03VzK1KKvy0R_M2qe8FFg&output=html Оценка выставлялась из 20 баллов, считая ответ на первый вопрос 0..10 баллов, 2 и 3 вопросы -- 0..5 баллов. По результатам набравшие 0..9 баллов считаются слабо владеющими данной темой, им ставится -1 за эту контрольную. Это означает, что на экзамене, скорее всего, по данной теме будут дополнительные вопросы, а если таких контрольных с "-1" будет много, то это "-1" будет вычтено из итоговой оценки. Набравшим 10..19 баллов ставится "0" -- это означает, что им данная тема засчитывается и предполагается, что они более-менее помнят материал. Эта оценка никак не повлияет на экзамен. Набравшие 20 баллов ответили на вопрос +- идеально, и если они наберут ещё много-много таких "1", то будет им за это какой-нибудь бонус. На вопросы "а что, если у меня будет много разных оценок за контрольные" я пока ответить не могу. Как-нибудь подсчитаем среднее. С уважением, Константин Савенков. P.S. Порция 1-х заданий ещё не получившим будет выслана завтра.

1 0

Подписка на задачи
by model checking course mailing list 15 Фев '10

15 Фев '10

Ещё раз акцентирую ваше внимание, что для получения задач нужно НЕ подписаться на список рассылки через веб-интерфейс, А отправить ФИО и номер группы на адрес model-checking(a)lvk.cs.msu.su. Информация по курсу есть на странице http://savenkov.lvk.cs.msu.su/mc.html С уважением, Константин Савенков.

1 0

Список рассылки
by model checking course mailing list 12 Фев '10

12 Фев '10

Уважаемые студенты! Сейчас прислали свои почтовые адреса 45 человек из 141 на курсе. Большая просьба -- попросите старост своих групп напомнить всем, что нужно подписаться на список рассылки до вечера воскресенья. Те, кто не подписался, не получат вовремя первое задание по курсу. Спасибо, с уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Февраль 2010