- residuation
- [rı͵zıdjʋʹeıʃ(ə)n] n мат.
определение остатка, разности
Новый большой англо-русский словарь. 2001.
residuation
Смотреть что такое "residuation" в других словарях:
residuation — … Useful english dictionary
Residuated lattice — In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x le; y and a monoid x • y which admits operations x z and z / y loosely analogous to division or implication when x • y is viewed as… … Wikipedia
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
Residuated Boolean algebra — In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given… … Wikipedia
Henri Lebesgue — Infobox Scientist name =Henri Lebesgue box width =26em image width =225px caption = birth date =1875 06 28 birth place =Beauvais, France death date =death date and age|1941|7|26|1875|6|28 death place =Paris, France residence = citizenship =… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Action algebra — In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right… … Wikipedia
Residuated mapping — In mathematics, the concept of a residuated mapping arises in the theory of partially ordered sets. It refines the concept of a monotone function.If A , B are posets, a function f : A → B is defined to be monotone if and only if it is order… … Wikipedia
Henri-Leon Lebesgue — Henri Léon Lebesgue Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue … Wikipédia en Français
Henri-Léon Lebesgue — Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue Naissance 28 juin … Wikipédia en Français
Henri Lebesgue — Henri Léon Lebesgue Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue … Wikipédia en Français
