Hoare logic: logika Hoare'a > Dodaj do ulubionych Opracowana przez C. A. R. Hoare’a matematyczna metoda dowodzenia poprawności algorytmów. Metodą tą można udowodnić tylko częściową poprawność algorytmu (partial-correctness-of-algorithm).
