Формальные методы разработки программ

Экспрессы, предложенные на лекциях 23 и 30 марта, и домашняя работа, собиравшаяся на лекции 30 марта, проверены.

Экспресс, предложенный на лекции 16 марта, и контрольная работа №1 проверены. Домашняя работа, собиравшаяся на лекции 16 марта, будет проверена позже.

Проверено домашнее задание №3 (на метод фундированных множеств) и экспресс на эту тему, который был предложен на лекции 9 марта.

9 марта была прочитана последняя лекция по методам Флойда. На семинаре 16 марта пройдет 40-минутная контрольная работа по методам Флойда.

Проверен экспресс-вопрос №2 (предложенный на лекции 2 марта) и домашняя работа №2 (собиравшаяся на лекции 2 марта).

Проверен экспресс-вопрос №1 (предложенный на лекции 16 февраля) и домашняя работа №1 (собиравшаяся на лекции 16 февраля). Можно посмотреть оценки за работы и сканы.

В весеннем семестре 2016/2017 учебного года занятия проходят с 14:35 до 17:55 в аудитории 505 каждый четверг.

Инструменты обновились сегодня. Настоятельно рекомендуется обновить их перед использованием. Для этого используйте команды opam update и opam upgrade.

10 июня в 10:00 состоится вторая контрольная работа по блоку спецификации для пропустивших её 28 апреля. Аудитория проведения станет известна в день проведения, узнавать в 718. Время работы 30 мин.

Экзамен обеих групп состоится 16 июня. Экзамен письменный, проводится с 10:00, длительность ориентировочно три часа. Экзамен проверяется в тот же день, показ работ после проверки, ближе к вечеру.

UPD: После начала экзамена (непосредственно после раздачи заданий) можно проставить автоматы.