Hoare logic: logika Hoare'a

22 listopada 2012
1 gwiadka2 gwiazdki3 gwiazdki4 gwiazdki5 gwiazdek
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).

Dyskusja

Twój adres e-mail nie zostanie opublikowany. Wymagane pola są oznaczone *