Logika Algorytmiczna
Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 09:36, 27 kwi 2014
Logika algorytmiczna jest rachunkiem logicznym. Język logiki algorytmicznej zawiera programy i formuły algorytmiczne. Zbiór formuł algorytmicznych zawiera w sobie zbiór formuł pierwszego rzedu.
Program logiki algorytmicznej
Zadaniem logiki algorytmicznej jest dostarczenie narzędzi do analizowania semantycznych własności programów takich jak: własność stopu, poprawność programu, etc. Znaczeniem programu [math]P[/math] jest funkcja ze zbioru [math]W[/math] wartościowań zmiennych w ten sam zbiór. Zazwyczaj funkcję te określa sie przy pomocy pojęcia obliczenia programu.