Logika Algorytmiczna: Różnice pomiędzy wersjami
Z Lem
(Utworzono nową stronę "Logika algorytmiczna jest rachunkiem logicznym. Język logiki algorytmicznej zawiera programy i formuły algorytmiczne. Zbiór formuł algorytmicznych zawiera w sobie z...") |
|||
| Linia 4: | Linia 4: | ||
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: | + | [[Category:Logika Algorytmiczna]] |
Wersja z 16:47, 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.
