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

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

Условия выполнения этой письменной работы: можно пользоваться любой печатной и рукописной литературой, но запрещается пользоваться любыми электронными средствами (компьютерами, телефонами и т.п.), а также запрещается общение со всеми, кроме экзаменаторов и семинаристов.

Письменная работа проводится одновременно во всех группах.

Выполнение письменной работы не дает дополнительных баллов по курсу.

Если студент успешно справляется с заданием на предварительном зачете, письменную работу на зачете ему писать не нужно.