Rachunek programów: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
Linia 2: Linia 2:
 
Rachunek programów zawiera w sobie oba rachunki i ponadto pozwala dokonywać "rachunków" na programach. Jak to zobaczymy często dowody semantycznych własności programów przybieraja postać rachunków na formułach algorytmicznych. <br />
 
Rachunek programów zawiera w sobie oba rachunki i ponadto pozwala dokonywać "rachunków" na programach. Jak to zobaczymy często dowody semantycznych własności programów przybieraja postać rachunków na formułach algorytmicznych. <br />
 
Logikę algorytmiczną utożsamiać będziemy z rachunkiem programów.<br />
 
Logikę algorytmiczną utożsamiać będziemy z rachunkiem programów.<br />
<math>Rachunek\ zda\'n \sub Rachunek\ predykat\'ow \sub Rachunek program\'ow </math>
+
<math>Rachunek\ zda\'{n} \subset Rachunek\ predykat\'{o}w \subset Rachunek program\'{o}w </math>

Wersja z 21:06, 26 paź 2015

Termin rachunek programów wydaje się lepiej pasować do znanych pojęć: rachunek zdań i rachunek predykatów. Rachunek programów zawiera w sobie oba rachunki i ponadto pozwala dokonywać "rachunków" na programach. Jak to zobaczymy często dowody semantycznych własności programów przybieraja postać rachunków na formułach algorytmicznych.
Logikę algorytmiczną utożsamiać będziemy z rachunkiem programów.
[math]Rachunek\ zda\'{n} \subset Rachunek\ predykat\'{o}w \subset Rachunek program\'{o}w [/math]