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