Rachunek programów: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "Termin rachunek programów wydaje się lepiej pasować do znanych pojęć: ''rachunek zdań'' i ''rachunek predykatów''. Rachunek programów zawiera w sobie oba rachunk...") |
|||
| Linia 1: | Linia 1: | ||
Termin rachunek programów wydaje się lepiej pasować do znanych pojęć: ''rachunek zdań'' i ''rachunek predykatów''. | 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. <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. | + | Logikę algorytmiczną utożsamiać będziemy z rachunkiem programów.<br /> |
| + | <math>Rachunek\ zda\'n \sub Rachunek\ predykat\'ow \sub Rachunek program\'ow </math> | ||
Wersja z 22:03, 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 \sub Rachunek\ predykat\'ow \sub Rachunek program\'ow [/math]
