Rachunek predykatów

Rachunek predykatów

  • Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
  • Rachunek predykatów
Pobrań: 84
Wyświetleń: 1113

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...