29 Фев
2008
29 Фев
'08
12:52
Господа,
1) начиная с сегодня-после-лекции заявки на первую задачу больше не принимаются. 2) тем, кто отправлял заявку на этой неделе и задачи не получил, я отправлю задачи до субботы 3) на следующей неделе, 7 марта, лекции НЕ БУДЕТ (я улетаю в командировку). 4) для тех, кто не был на лекции: помимо задания в легенде, нужно построить модель функции из первой задачи на языке Promela и использовать систему SPIN, чтобы точно оценить число состояний получившейся модели.
--
С уважением,
Константин Савенков.