universal substitution

universal substitution
мат. универсальная подстановка

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "universal substitution" в других словарях:

  • Substitution uniforme — Instanciation universelle En logique, l instanciation universelle (également appelée Dictum de omni) est une règle d inférence qui permet, à partir d une vérité sur l ensemble des membres d une classe d entités, d inférer une vérité sur une… …   Wikipédia en Français

  • Universal transverse Mercator — Transverse Universelle de Mercator La Transverse universelle de Mercator (en anglais Universal Transverse Mercator ou UTM) est un type de projection conforme de la surface de la Terre. L’Allemagne l’utilise sous le nom de Projection de Gauss… …   Wikipédia en Français

  • Sony Corp. of America v. Universal City Studios, Inc. — SCOTUSCase Litigants=Sony Corp. of America v. Universal City Studios, Inc. ArgueDate=January 18 ArgueYear=1983 ReargueDate=October 3 ReargueYear=1983 DecideDate=January 17 DecideYear=1984 FullName=Sony Corporation of America et al. v. Universal… …   Wikipedia

  • Molecular clock — Part of a series on Evolutionary Biology …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Religion (Philosophies of) — Philosophies of religion Marcel, Jaspers, Levinas William Desmond Gabriel Marcel (1889–1973), Karl Jaspers (1883–1969) and Emmanuel Levinas (1906–) seem like a mere aggregate of thinkers. Jaspers, a German thinker who coined the phrase Existenz… …   History of philosophy

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Sacrifice — • This term is identical with the English offering (Latin offerre) and the German Opfer Catholic Encyclopedia. Kevin Knight. 2006. Sacrifice     Sacrifice      …   Catholic encyclopedia

  • Salvation — For other uses, see Salvation (disambiguation). Part of a series on Salvation …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»