next up previous contents
Next: Homomorfism (homomorphism) Up: No Title Previous: Herbrand'i arendused (Herbrand expansion)

Herbrand'i universum (Herbrand universe)

- termide hulk, mis on moodustatud etteantud sekventsi või valemi konstantidest ja funktsioonisümbolitest. Konstantide puudumisel võetakse kasutusele konstant 0.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996