- logical independence
- мат. логическая независимость
Большой англо-русский и русско-английский словарь. 2001.
logical independence
Смотреть что такое "logical independence" в других словарях:
Independence (disambiguation) — Independence is the self government of a nation, country, or state by its residents and population.Independence may also mean:;In mathematics: *Independence (mathematical logic), Logical independence *Linear independence *Statistical independence … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Data independence — is the type of data transparency that matters for a centralized DBMS. It refers to the immunity of user applications to make changes in the definition and organization of data. Physical data independence deals with hiding the details of the… … Wikipedia
Sri Lankan independence movement — The Sri Lankan independence movement was a peaceful political movement to aimed at achieving independence for Sri Lanka from British imperial rule. It was ultimately successfully and Sri Lanka was granted independence on February 4, 1948.… … Wikipedia
Axiom independence — Basic Definition and Requirements= An axiom P is independent if there is no other axiom Q such that Q implies P.In many cases independency is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an… … Wikipedia
X logical font description — (XLFD) is a font standard used by the X Window System. It is intended to support:* unique, descriptive font names that support simple pattern matching * multiple font vendors, arbitrary character sets, and encodings * naming and instancing of… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
System of linear equations — In mathematics, a system of linear equations (or linear system) is a collection of linear equations involving the same set of variables. For example,:egin{alignat}{7}3x ; + ; 2y ; ; z ; = ; 1 2x ; ; 2y ; + ; 4z ; = ; 2 x ; + ; frac{1}{2} y ; ; z … Wikipedia
Timeline of mathematics — A timeline of pure and applied mathematics history. Contents 1 Before 1000 BC 2 1st millennium BC 3 1st millennium AD 4 1000–1500 … Wikipedia
