Logika Algorytmiczna: Różnice pomiędzy wersjami
Z Lem
| Linia 1: | Linia 1: | ||
Logika algorytmiczna jest rachunkiem logicznym. Język logiki algorytmicznej zawiera programy i formuły algorytmiczne. Zbiór formuł | 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. | 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]]. | 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]]. | ||
[[Category:Logika Algorytmiczna]] | [[Category:Logika Algorytmiczna]] | ||
Wersja z 10: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.
