- logical correspondence
- мат. логическое соответствие
Большой англо-русский и русско-английский словарь. 2001.
logical correspondence
Смотреть что такое "logical correspondence" в других словарях:
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 disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Logical positivism — a philosophy (of science), that originated in the Vienna Circle in the 1920s, which holds that philosophy should aspire to the same sort of rigor as science. Philosophy should provide strict criteria for judging sentences true, false and… … Mini philosophy glossary
Logical Atomism — ▪ philosophy theory, developed primarily by the British logician Bertrand Russell (Russell, Bertrand) and the Austrian born philosopher Ludwig Wittgenstein, proposing that language, like other phenomena, can be analyzed in terms of… … Universalium
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
function, logical — In logic and mathematics a function, also known as a map or mapping, is a relation that associates members of one class X with some unique member y of another class Y. The association is written as y = f(x ). The class X is called the domain of… … Philosophy dictionary
Indonesian philosophy — is generic designation for tradition of abstract speculation held by the people who inhabit the region now known as Indonesia. Indonesian philosophy is expressed in living languages found in Indonesia (approximately 587 languages) and its… … Wikipedia
Apocalypse of Peter — The recovered Apocalypse of Peter or Revelation of Peter is an example of a simple, popular early Christian text of the second century; it is an example of Apocalyptic literature with Hellenistic overtones. The text is extant in two incomplete… … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
