Rachunek predykatów
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
- Rachunek predykatów
Pobrań: 140
Wyświetleń: 1246
Rachunek predykatów Term - napis nad alfabetem A, który powstaje przez zastosowanie skończoną liczbę razy reguł: są termami są termami jeżeli są termami a F jest n - argumentowym symbolem funkcyjnym to jest termem Formuła atomowa - n - argumentowy symbol predykatywny wyznaczony na n termach cz...