algebraization

algebraization
al·ge·bra·i·za·tion

English syllables. 2014.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • algebraization — …   Useful english dictionary

  • Many-sorted logic — can reflect formally our intention, not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive parts of speech in the language of… …   Wikipedia

  • Pierre Hérigone —  Ne doit pas être confondu avec Érigone. Une démonstration de l Optique d Euclide traduite par Hérigone (Tome V) Pierre Hérigone, d origine basque …   Wikipédia en Français

  • Cylindric algebra — The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Indeed, cylindric algebras are… …   Wikipedia

  • De Morgan's laws — In formal logic, De Morgan s laws are rules relating the logical operators and and or in terms of each other via negation. With two operands A and B: In another form: NOT (A AND B) = (NOT A) OR (NOT B) NOT (A OR B) = (NOT A) AND (NOT B) The rules …   Wikipedia

  • Constantin Carathéodory — Born 13 September 1873 …   Wikipedia

  • Geometric group theory — is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act (that is, when the… …   Wikipedia

  • Kazhdan's property (T) — In mathematics, a locally compact topological group G has property (T) if the trivial representation is an isolated point in its unitary dual equipped with the Fell topology. Informally, this means that if G acts unitarily on a Hilbert space and… …   Wikipedia

  • Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”