Состоялась лекция «Метод фундированных множеств Флойда».
Были рассмотрены следующие вопросы:
- понятие частичного порядка;
- понятие фундированного множества;
- метод оценочных функций Флойда;
- понятие оценочной функции;
- индуктивные утверждения и соответствующие условия верификации;
- понятие условия корректности определения оценочной функции;
- понятие условия завершимости;
- понятие условия успешной выполнимости оператора;
- теорема Флойда о завершимости.