Лекция 25 февраля

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

  • понятие частичного порядка;
  • понятие фундированного множества;
  • метод оценочных функций Флойда;
    • понятие оценочной функции;
    • индуктивные утверждения и соответствующие условия верификации;
    • понятие условия корректности определения оценочной функции;
    • понятие условия завершимости;
    • понятие условия успешной выполнимости оператора;
  • теорема Флойда о завершимости.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *