- logically defined
- мат. логически определенный
Большой англо-русский и русско-английский словарь. 2001.
logically defined
Смотреть что такое "logically defined" в других словарях:
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
Logic and the mind — This article discusses the relationship between the formal logic and the mind.For a long time people believed that intelligence is equivalent to conceptual understanding and reasoning. A part of this belief was that the mind works according to… … Wikipedia
Middle Ages in history — The Middle Ages in history is an overview of how previous periods have both romanticised and disparaged the Middle Ages. After the period came to an end with the Renaissance, subsequent cultural movements such as the Enlightenment and Romantics… … Wikipedia
Absolute Infinite — The Absolute Infinite is mathematician Georg Cantor s concept of an infinity that transcended the transfinite numbers. Cantor equated the Absolute Infinite with God. [ sect;3.2, cite journal author=Ignacio Jané title=The role of the absolute… … Wikipedia
Double counting (accounting) — Double counting in accounting is an error whereby a transaction is counted more than once, for whatever reason. But in social accounting it also refers to a conceptual problem in social accounting practice, when the attempt is made to estimate… … Wikipedia
Mulla Sadra — (c. 979–1050/1571–1640) Sadr al Din Muhammad al Shirazi, more commonly known by his honorific title Mulla (‘Master’) Sadra, is without doubt the most important and influential of the modern Islamic philosophers. He studied with the great… … Islamic philosophy dictionary
Virtual learning environment — Defined largely by usage, the term virtual learning environment (VLE) has most, if not all, of the following salient properties: It is Web based It uses Web 2.0 tools for rich 2 way interaction It includes a content management system It models… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… … Universalium
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
