- logical construct
- мат. логическое построение
Большой англо-русский и русско-английский словарь. 2001.
logical construct
Смотреть что такое "logical construct" в других словарях:
construct — [kən strukt′; ] for n. [ kän′strukt΄] vt. [< L constructus, pp. of construere < com , together + struere, to pile up, build: see STREW] 1. to build, form, or devise by fitting parts or elements together systematically 2. Geom. to draw (a… … English World dictionary
Logical extreme — A logical extreme is a logical construct that is often useful in testing hypotheses. The use of a logical extreme is often the simplest way to disprove an hypothesis. Quite simply, a logical extreme is the statement of an extreme or even… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… … Philosophy dictionary
construct — I. transitive verb Etymology: Latin constructus, past participle of construere, from com + struere to build more at structure Date: 1663 1. to make or form by combining or arranging parts or elements ; build; also contrive, devise 2. to draw (a… … New Collegiate Dictionary
construct — See constructive, logical construction … Philosophy dictionary
Two Dogmas of Empiricism — W. V. O. Quine s paper Two Dogmas of Empiricism , published in 1951, is one of the most celebrated papers of twentieth century philosophy in the analytic tradition. The paper is an attack on two central parts of the logical positivists philosophy … Wikipedia
Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… … Wikipedia
culture — /kul cheuhr/, n., v., cultured, culturing. n. 1. the quality in a person or society that arises from a concern for what is regarded as excellent in arts, letters, manners, scholarly pursuits, etc. 2. that which is excellent in the arts, manners,… … Universalium
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Only (Nine Inch Nails song) — Only Single by Nine Inch Nails from the album With Teeth Released July 25, 2005 … Wikipedia
