Next: Tuletus (inference derivation)
Up: No Title
Previous: Teoreem (theorem)
- avaldis, mis esitab konstruktsiooni indiviidi saamiseks "lihtsamatest" objektidest. Term on avaldis kujul
, kus f on k-aarne funktsioonisümbol ja
sobivat tüüpi indiviidkonstandid, muutujad või termid.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996