next up previous contents
Next: Tuletus (inference derivation) Up: No Title Previous: Teoreem (theorem)

Term (term)

- avaldis, mis esitab konstruktsiooni indiviidi saamiseks "lihtsamatest" objektidest. Term on avaldis kujul tex2html_wrap_inline579 , kus f on k-aarne funktsioonisümbol ja tex2html_wrap_inline585 sobivat tüüpi indiviidkonstandid, muutujad või termid.



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