Logika Algorytmiczna: Różnice pomiędzy wersjami

Wersja z 15:46, 10 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.

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.