слабейшее предусловие

  • 1слабейшее предусловие — слабейшее входное условие — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы слабейшее входное условие EN weakest precondition …

    Справочник технического переводчика

  • 2Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …

    Википедия