18 декабря - второй предварительный зачёт

Доказать полную корректность заданной блок-схемы относительно заданной спецификации (предусловия и постусловия) при помощи методов Флойда.

Начало в 12:15, аудитория П-14. Если в это время история математики, то зачет будет в 14:30 в аудитории 707.