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