- unit refutation
- мат. единичное опровержение
Большой англо-русский и русско-английский словарь. 2001.
unit refutation
Смотреть что такое "unit refutation" в других словарях:
Unit propagation — (UP) or the one literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.DefinitionThe procedure is based on unit clauses, i.e. clauses that are composed of a single literal. If a… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Nanking Massacre denial — Nanking Massacrev · d · e Battl … Wikipedia
Okishio's theorem — is a mathematical theorem formulated by Japanese economist Nobuo Okishio. It has had a major impact on debates about Marx s theory of value. Intuitively, it can be understood as saying that if one capitalist raises his profits by introducing a… … Wikipedia
MALEBRANCHE (N.) — Retenant du cartésianisme qu’il n’est de vraie connaissance que par les idées claires et distinctes, Malebranche, qui se veut disciple de Descartes – en même temps que de saint Augustin –, s’éloigne de lui pour le reste. Substituant le Verbe à la … Encyclopédie Universelle
UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… … Encyclopedia of Judaism
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism
Gnosticism — • History of Gnosticism from its pre Christian roots through its developed doctrines concerning cosmogony, the Sophia myth, soteriology, and eschatology. Includes information on rites, schools, and literature Catholic Encyclopedia. Kevin Knight.… … Catholic encyclopedia
Saadia Gaon — ImageSize = width:590 height:120PlotArea = width:570 height:25 left:5 bottom:60TimeAxis = orientation:horizontalDateFormat = yyyyPeriod = from: 250 till:2000AlignBars = earlyScaleMajor = unit:year increment:200 start: 200ScaleMinor = unit:year… … Wikipedia
David Hume — Pour les articles homonymes, voir Hume. David Hume Philosophe et Historien Époque Moderne … Wikipédia en Français
