Logika Algorytmiczna

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

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

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.

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.

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