Algorithmic Logic

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 16:13, 10 kwi 2014

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Skocz do: nawigacji, wyszukiwania

Algorithmic logic is a calculus in which one can express the semantical properties of programs and it allows to construct proofs of the formulas. In this way one can prove property correctness by proving the corresponding formula that express the property.

Źródło „http://lem12.uksw.edu.pl/index.php?title=Algorithmic_Logic&oldid=1288”