Автор: Евгений Корныхин

Экспрессы, предложенные на лекциях 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 каждый четверг.

В весеннем семестре 2015/2016 года на факультете ВМК МГУ имени М.В. Ломоносова начинается ежегодное чтение курсов по формальной спецификации программ и дедуктивной верификации программ для магистров 1 года.