- substitution axiom
- мат. аксиома подстановки
Большой англо-русский и русско-английский словарь. 2001.
substitution axiom
Смотреть что такое "substitution axiom" в других словарях:
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom of extensionality — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of… … Wikipedia
Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck … Deutsch Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Paul Davidson (US-Ökonom) — Paul Davidson (* 23. Oktober 1930 in New York) ist ein US amerikanischer Ökonom, welcher als einer der führenden Vertreter des Postkeynesianismus in den Vereinigten Staaten gilt. Inhaltsverzeichnis 1 Leben 2 Theoretischer Ansatz 3 Liter … Deutsch Wikipedia
Günter Menges (Ökonom) — Günter Menges (Anfang/Mitte der 1950er Jahre) Günter Menges (* 19. Juni 1929 in Darmstadt; † 10. Januar 1983 in Heidelberg) war Professor an der Fakultät für Statistik und … Deutsch Wikipedia
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
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
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
