uninterpreted

uninterpreted
adj.

* * *


Universalium. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • uninterpreted — [spelling only] …   English World dictionary

  • uninterpreted — adjective Not (yet) interpreted …   Wiktionary

  • uninterpreted — un·interpreted …   English syllables

  • uninterpreted — un in•ter′pret•ed adj …   From formal English to slang

  • uninterpreted — “+ adjective Etymology: un (I) + interpreted, past participle of interpret : not interpreted …   Useful english dictionary

  • Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… …   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

  • Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… …   Wikipedia

  • Object storage device — An Object based Storage Device (OSD) is a computer storage device, similar to disk storage but working at a higher level. Instead of providing a block oriented interface that reads and writes fixed sized blocks of data, an OSD organizes data into …   Wikipedia

  • Coordinative definition — A coordinative definition is a postulate which assigns a partial meaning to the theoretical terms of a scientific theory by correlating the mathematical objects of the pure or formal/syntactical aspects of a theory with physical objects in the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”