Predikatski račun (mat. logika)

Kvantori i predikati.pdf

Domaći - kvantori i predikati

predikatske formule i negacija - vezbanje

Složenije predikatske formule.pdf

PNF i skolemizacija.pdf

4. Supstitucija i unifikacija.pdf

Metoda rezolucije u predikatskom racunu.pdf

Vežbanje - metoda rezolucije u predikatskom računu.pdf

Google Sites

Report abuse