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