- logically correct
- мат. логически правильный
Большой англо-русский и русско-английский словарь. 2001.
logically correct
Смотреть что такое "logically correct" в других словарях:
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
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Prior probability — Bayesian statistics Theory Bayesian probability Probability interpretations Bayes theorem Bayes rule · Bayes factor Bayesian inference Bayesian network Prior · Posterior · Likelihood … Wikipedia
Coase theorem — In law and economics, the Coase theorem (pronounced /ˈkoʊs/), attributed to Ronald Coase, describes the economic efficiency of an economic allocation or outcome in the presence of externalities. The theorem states that if trade in an externality… … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Hyperbolic discounting — In behavioral economics, hyperbolic discounting refers to the empirical finding that people generally prefer smaller, sooner payoffs to larger, later payoffs when the smaller payoffs would be imminent; but when the same payoffs are distant in… … Wikipedia
0.999... — In mathematics, the repeating decimal 0.999... (which may also be written as 0.9, , 0.(9), or as 0. followed by any number of 9s in the repeating decimal) denotes a real number that can be shown to be the number one. In other words, the symbols 0 … Wikipedia
Reasoning — is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. [ Kirwin, Christopher. 1995. Reasoning . In Ted Honderich (ed.), The Oxford Companion to Philosophy . Oxford: Oxford University Press: p. 748] Humans… … Wikipedia
valid — adjective Etymology: Middle French or Medieval Latin; Middle French valide, from Medieval Latin validus, from Latin, strong, potent, from valēre Date: 1571 1. having legal efficacy or force; especially executed with the proper legal authority and … New Collegiate Dictionary
Yale shooting problem — The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, Steve Hanks and Drew McDermott, working at Yale… … Wikipedia
Mathematical beauty — An example of beauty in method a simple and elegant geometrical proof that the Pythagorean theorem is true for a particular right angled triangle. Many mathematicians derive aesthetic pleasure from their work, and from mathematics in general.… … Wikipedia
