- positively derivable
- мат. позитивно выводимый
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Bohr model — In atomic physics, the Bohr model created by Niels Bohr depicts the atom as a small, positively charged nucleus surrounded by electrons that travel in circular orbits around the nucleus mdash;similar in structure to the solar system, but with… … Wikipedia
Baptism — • One of the Seven Sacraments of the Christian Church; frequently called the first sacrament , the door of the sacraments , and the door of the Church Catholic Encyclopedia. Kevin Knight. 2006. Baptism Baptism … Catholic encyclopedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
hydrocarbon — hydrocarbonaceous, adj. /huy dreuh kahr beuhn, huy dreuh kahr /, n. any of a class of compounds containing only hydrogen and carbon, as an alkane, methane, CH4, an alkene, ethylene, C2H4, an alkyne, acetylene, C2H2, or an aromatic compound,… … Universalium