Algorithmic Logic: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "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 pro...") |
(Brak różnic)
|
Wersja z 15:13, 10 kwi 2014
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.
