rule of adjunction
Смотреть что такое "rule of adjunction" в других словарях:
rule of adjunction — a rule in logic: if each of two statements (as p and q) has been asserted then their conjunct (as p.q) may be asserted … Useful english dictionary
Lottery paradox — Henry E. Kyburg, Jr. s Lottery Paradox (1961, p. 197) arises from considering a fair 1000 ticket lottery that has exactly one winning ticket. If this much is known about the execution of the lottery it is therefore rational to accept that some… … Wikipedia
Парадокс лотереи — Парадокс лотереи, сформулированный профессором Рочестерского университета Генри Кайбергом[1], возникает из рассмотрения шансов выигрыша в лотерею, в которой разыгрывается, например, 1000 лотерейных билетов, из которых один является выигрышным.… … Википедия
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Metric tensor — In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… … Wikipedia
Tensor algebra — In mathematics, the tensor algebra of a vector space V , denoted T ( V ) or T bull;( V ), is the algebra of tensors on V (of any rank) with multiplication being the tensor product. It is the free algebra on V , in the sense of being left adjoint… … Wikipedia
Transformational grammar — In linguistics, a transformational grammar, or transformational generative grammar (TGG), is a generative grammar, especially of a natural language, that has been developed in a Chomskyan tradition. Additionally, transformational grammar is the… … Wikipedia
Connection form — In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms. Historically, connection forms were introduced by Élie Cartan … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Turks in Bulgaria — Infobox Ethnic group group = Turks in Bulgaria poptime = 746,664 (in Bulgaria)326,000 (in Turkey) popplace = Kardzhali, Razgrad, Targovishte, Silistra, Shumen langs = Turkish language Bulgarian language rels = Islam related = tribes. [Dennis P.… … Wikipedia
