- straightforward deduction
- мат. непосредственный вывод
Большой англо-русский и русско-английский словарь. 2001.
straightforward deduction
Смотреть что такое "straightforward deduction" в других словарях:
Pierre Duhem — Full name Pierre Duhem Born 9 June 1861 Paris, France Died 14 September 1916 Cabrespine, France Era … 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
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Sherlock Holmes — Infobox character colour = #DEDEE2 name = Sherlock Holmes caption = A portrait of Sherlock Holmes by Sidney Paget from the Strand Magazine , 1891 first = last = cause = creator = Sir Arthur Conan Doyle portrayer = episode = Four novelsFifty six… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… … History of philosophy
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
Fichte and Schilling: the Jena period — Daniel Breazeale FROM KANT TO FICHTE An observer of the German philosophical landscape of the 1790s would have surveyed a complex and confusing scene, in which individuals tended to align themselves with particular factions or “schools,”… … History of philosophy
