Term Algebra
19,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
10 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.