Kaikki kirjat 35 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Term Algebra: Universal Algebra, Mathematical Logic, Algebraic Structure, Binary Relation, Free Magma, Semantics, Abstract Data Type -

englanti
2026-03-06
118,39 € 182,14 €

-35% koodilla BOOKS

Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

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 ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

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.

Lisätietoja

Julkaisija OmniScriptum
Julkaisuvuosi 2026
Kannen tyyppi Pehmeäkantinen
EAN 9786131154003
Kirjoita oma arvostelusi
Arvostelet: Term Algebra: Universal Algebra, Mathematical Logic, Algebraic Structure, Binary Relation, Free Magma, Semantics, Abstract Data Type
Arvostelusi:

Goodreads-arvostelut

118,39 € 182,14 €