[model-checking] Слайды

Дорогие студенты,

1. Выложены слайды 10 и 11 лекций, в первых девяти исправлено приличное количество опечаток. При подготовке к экзамену рекомендуется использовать обновлённые слайды.

2. В пятницу на семинаре могут досдать практикум те, кому не хватило времени сегодня.

3. Постепенно начинают появляться оценки за практикум. В соответствующей графе таблицы они подсвечены разными цветами. То, что не подсвечено -- это не оценка, а так, сумма баллов.

4. Для АСВК -- при незначительном отклонении вниз от оценки "отлично" (например, "3" за одно из заданий при всех остальных "5") в диплом мы поставим вам "5", но это не повлияет на базовый балл на экзамене (т.е. он будет таким, как при "4").

С уважением, Константин Савенков.