logical matrix
Смотреть что такое "logical matrix" в других словарях:
Logical matrix — A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets. Contents 1… … Wikipedia
Matrix multiplication — In mathematics, matrix multiplication is a binary operation that takes a pair of matrices, and produces another matrix. If A is an n by m matrix and B is an m by p matrix, the result AB of their multiplication is an n by p matrix defined only if… … Wikipedia
Logical graph — A logical graph is a special type of diagramatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.In his papers on qualitative logic , entitative graphs , and existential graphs , Peirce… … Wikipedia
matrix — (n.) late 14c., uterus, womb, from O.Fr. matrice womb, uterus, from L. matrix (gen. matricis) pregnant animal, in L.L. womb, also source, origin, from mater (gen. matris) mother (see MOTHER (Cf. mother) (n.1)). Sense … Etymology dictionary
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
Matrix (mathematics) — Specific elements of a matrix are often denoted by a variable with two subscripts. For instance, a2,1 represents the element at the second row and first column of a matrix A. In mathematics, a matrix (plural matrices, or less commonly matrixes)… … Wikipedia
Logical framework approach — This article is about the management tool. For the automated theorem proving approach, see logical framework. The Logical Framework Approach (LFA) is a management tool mainly used in the design, monitoring and evaluation of international… … Wikipedia
Logical Disk Manager — The Logical Disk Manager (diskmgmt.msc) is an implementation of a logical volume manager for Microsoft Windows NT, developed by Microsoft and Veritas Software. It was introduced with the Windows 2000 operating system, and is supported in Windows… … Wikipedia
Logical clock — A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system.Logical clock algorithms of note are: * Lamport timestamps, which are monotonically increasing software counters * Vector clocks, that… … Wikipedia
