- method of counterexamples
- мат. метод контрпримеров
Большой англо-русский и русско-английский словарь. 2001.
method of counterexamples
Смотреть что такое "method of counterexamples" в других словарях:
Quasi-empirical method — Quasi empirical methods are applied in science and in mathematics. The term empirical methods refers to experiment, disclosure of apparatus for reproduction of experiments, and other ways in which science is validated by scientists. Empirical… … Wikipedia
Gettier problem — A Gettier problem is a problem in modern epistemology issuing from counter examples to the definition of knowledge as justified true belief (JTB). The problem owes its name to a three page paper published in 1963, by Edmund Gettier, called Is… … Wikipedia
Imre Lakatos — For other people with the same name, see Lakatos (disambiguation). Imre Lakatos Imre Lakatos, c. 1960s Full name Imre Lakatos Born November 9, 1922 Debrecen, Hungary … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Graeco-Latin square — Orthogonal Latin squares of order 3 Orthogonal Latin squares of order 5 In mathematics, a Graeco Latin square or Euler square or orthogonal Latin squares of order n over two … Wikipedia
epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… … Universalium
Collatz conjecture — Directed graph showing the orbits of small numbers under the Collatz map. The Collatz conjecture is equivalent to the statement that all paths eventually lead to 1 … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Paul Feyerabend — Full name Paul Feyerabend Born January 13, 1924(1924 01 13) Vienna, Austria Died February 11, 1994 … Wikipedia
