Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:
Traduzione e analisi delle parole da parte dell'intelligenza artificiale
In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
- come viene usata la parola
- frequenza di utilizzo
- è usato più spesso nel discorso orale o scritto
- opzioni di traduzione delle parole
- esempi di utilizzo (varie frasi con traduzione)
- etimologia
Cosa (chi) è term algebra - definizione
Term algebra
FREELY GENERATED ALGEBRAIC STRUCTURE OVER A GIVEN SIGNATURE
Herbrand Universe; Herbrand atom set; Herbrand term
In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a signature consisting of a single binary operation, the term algebra over a set X of variables is exactly the free magma generated by X.
Term (logic)
MATHEMATICAL EXPRESSION THAT MAY FORM A SEPARABLE PART OF AN EQUATION, A SERIES, OR ANOTHER EXPRESSION; USED IN IN MATHEMATICAL LOGIC, UNIVERSAL ALGEBRA, AND REWRITING SYSTEMS
Term (first-order logic); Logic term; Variant (logic); Term (term rewriting); Linear term; Context (term rewriting); Subterm; Finite terms; First-order terms; Subterms; Renamed copy
In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. In particular, terms appear as components of a formula.
*-algebra
ALGEBRA EQUIPPED WITH AN INVOLUTION OVER A *-RING
Star algebra; *-homomorphism; * algebra; Involution algebra; Involutive algebra; *-ring; Star-algebra; * ring; Involutory ring; Involutary ring; Star ring; *algebra; Involutive ring
In mathematics, and more specifically in abstract algebra, a *-algebra (or involutive algebra) is a mathematical structure consisting of two involutive rings and , where is commutative and has the structure of an associative algebra over . Involutive algebras generalize the idea of a number system equipped with conjugation, for example the complex numbers and complex conjugation, matrices over the complex numbers and conjugate transpose, and linear operators over a Hilbert space and Hermitian adjoints.
