Term Algebra
Versandkostenfrei!
Versandfertig in 6-10 Tagen
19,99 €
inkl. MwSt.
PAYBACK Punkte
10 °P sammeln!
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In universal algebra and mathematical logic, a term algebra or Herbrand universe is a freely generated algebraic structure. For example, in a signature consisting of a single binary relation, the term algebra over a set X of variables is exactly the free magma generated by X. Term algebras play a role in the semantics of abstract data types, where an abstract data type declaration provides the signature of a multi-sorted algebraic structure and the term algebra is a concrete model of the abstract declaratio...
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In universal algebra and mathematical logic, a term algebra or Herbrand universe is a freely generated algebraic structure. For example, in a signature consisting of a single binary relation, the term algebra over a set X of variables is exactly the free magma generated by X. Term algebras play a role in the semantics of abstract data types, where an abstract data type declaration provides the signature of a multi-sorted algebraic structure and the term algebra is a concrete model of the abstract declaration. The Herbrand base is analogous to the Herbrand universe, but consists of formulas. It is the set of all ground atoms.
