-
1 intuitionistic
-
2 intuitionistic
1) интуиционистский
2) интуиционистический -
3 intuitionistic
1) Компьютерная техника: интуиционистский2) Математика: интуиционистический, интуиционистское отрицание3) Психология: интуитивистский -
4 intuitionistic
интуиционистский, интуиционистический -
5 intuitionistic
-
6 intuitionistic
-
7 intuitionistic
интуиционистскийEnglish-Russian dictionary of technical terms > intuitionistic
-
8 intuitionistic
-
9 intuitionistic
интуиционистский, интуиционистический -
10 intuitionistic
English-Russian dictionary of computer science > intuitionistic
-
11 intuitionistic algebra
Математика: интуиционистская алгебраУниверсальный англо-русский словарь > intuitionistic algebra
-
12 intuitionistic analysis
Математика: интуиционистский анализУниверсальный англо-русский словарь > intuitionistic analysis
-
13 intuitionistic arithmetic
Математика: интуиционистская арифметикаУниверсальный англо-русский словарь > intuitionistic arithmetic
-
14 intuitionistic axioms
Математика: интуиционистские аксиомы -
15 intuitionistic calculus
Математика: интуиционистское исчислениеУниверсальный англо-русский словарь > intuitionistic calculus
-
16 intuitionistic consequence
Математика: интуиционистское следствиеУниверсальный англо-русский словарь > intuitionistic consequence
-
17 intuitionistic consequence operation
Универсальный англо-русский словарь > intuitionistic consequence operation
-
18 intuitionistic continuity
Математика: интуиционистская непрерывностьУниверсальный англо-русский словарь > intuitionistic continuity
-
19 intuitionistic continuum
Математика: интуиционистский континуумУниверсальный англо-русский словарь > intuitionistic continuum
-
20 intuitionistic implication
Математика: интуиционистская импликацияУниверсальный англо-русский словарь > intuitionistic implication
См. также в других словарях:
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
intuitionistic logic — The logical system developed initially by A. Heyting (b. 1898) to formalize the reasonings allowed by mathematical intuitionism . It is designed so that p ∨ ¬ p is not a theorem, and the rule of inference from ¬¬ p to p is disallowed (the logic… … Philosophy dictionary
intuitionistic — adjective Dealing strictly in constructive proofs, abstaining from proof by contradiction. See Also: intuition … Wiktionary
intuitionistic — intuitionism … Philosophy dictionary
intuitionistic — in·tu·i·tion·is·tic … English syllables
intuitionistic — adjective see intuitionist II … Useful english dictionary
intuitionistic logic — noun A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirces law. It is the foundation of intuitionism. Just because is not axiomatically true (for all P) does not mean that is… … Wiktionary
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
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
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia