term
Slova, zkratky a rčení
[Francouzština < latina], logika, formule, která obsahuje proměnné a konstanty pro objekty určité oblasti I, stejně jako znaky pro určité operace v I a která vyjadřuje například i proces výpočtu, pomocí něhož lze pro libovolné hodnoty proměnných zprostředkovat určitý objekt z I jako odpovídající hodnotu termu.
Vytvořeno:
14. 3. 2000
Aktualizováno:
15. 10. 2007
Autor: -red-