model-checking Май 2008

model-checking@asvk.cs.msu.ru

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

Ещё по экзамену
by model checking course mailing list 27 Май '08

27 Май '08

Добрый день, Большая просьба -- проставлять оценки по досроку приходите либо к началу экзамена, либо после 14:00, дабы не отнимать время у своих менее счастливых товарищей. Те, у кого не сданы задачи -- приходите вовремя, дабы не отнимать время у самих себя. Ещё раз про оценивание ваших ответов. В билете три вопроса: по теории, по практике и задача на LTL. Можно считать, что за правильный ответ на вопрос билета ставится 1 балл, их сумма прибавляется к оценке 2. Три балла по ответу на билет, таким образом, дают вам 5 баллов. Правильный ответ на дополнительный вопрос добавляет 0.5 балла, неправильный -- отнимает 0.5 балла. Неправильное решение задачи в 3 вопросе билета отнимает у вас 0.5 балла, после чего вы получаете подсказку (трассу, на которой ваша формула отличается от требуемого свойства). Суммарно подсказок и дополнительных вопросов может быть не более 3 (трёх). По поводу несданных задач. Задачи вам нужно решить до получения билета. Каждая несданная задача -- минус 1 балл. Со всеми вытекающими. -- С уважением, Константин Савенков.

1 0

Экзамен , консультация и всё такое
by model checking course mailing list 26 Май '08

26 Май '08

Здравствуйте, Все задачи успешно проверены, в таблице с результатами написано, что вас ждёт на экзамене в плане задач. Консультация к экзамену состоится ЗАВТРА, 27 мая, в 10:00, в аудитории П-13. -- С уважением, Константин Савенков.

1 0

Досрочный экзамен 5 мая
by model checking course mailing list 04 Май '08

04 Май '08

Господа (и дамы), Места в 758 мало, поточные аудитории заняты, поэтому чтобы вам не толпиться в коридоре бестолку, давайте сделаем так: АСВК приходит на экзамен к 9:00, остальные группы -- к 12:00. -- С уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Май 2008