logic programming logic programing | creating a program that enables the computer to reason logically |
gate logic gate | a computer circuit with several inputs but only one output that can be activated by particular combinations of inputs |
logic element | an electronic device that performs an elementary logic operation |
sheet flat solid | a flat artifact that is thin relative to its length and width |
solid body substance | the solid parts of the body |
logic | reasoned and reasonable judgment, it made a certain kind of logic |
logic logical system system of logic | a system of reasoning |
Aristotelian logic | the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages |
logic | the principles that guide reasoning within a given field or situation, economic logic requires it, by the logic of war |
solid geometry | the geometry of -dimensional space |
solid-state physics | the branch of physics that studies the properties of materials in the solid state: electrical conduction in crystals of semiconductors and metals, superconductivity, photoconductivity |
logic | the system of operations performed by a computer that underlies the machine's representation of logical operations |
logic | the branch of philosophy that analyzes inference |
symbolic logic mathematical logic formal logic | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
Boolean logic Boolean algebra | a system of symbolic logic devised by George Boole, used in computers |
propositional logic propositional calculus | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
modal logic | a system of logic whose formal properties resemble certain moral and epistemological concepts |
alethic logic | the modal logic of necessity and possibility and contingency |
deontic logic | the modal logic of obligation and permissibility |
epistemic logic | the modal logic of knowledge and uncertainty and ignorance |
doxastic logic | the modal logic of belief and disbelief |
fuzzy logic | a form of mathematical logic in which truth can assume a continuum of values between and |
modal logic | the logical study of necessity and possibility |
logic diagram logical diagram | a graphical representation of a program using formal logic |
logic bomb slag code | a set of instructions inserted into a program that are designed to execute (or `explode') if a particular condition is satisfied, when exploded it may delete or corrupt data, or print a spurious message, or have other harmful effects, a disgruntled employee planted a logic bomb |
Prolog logic programing logic programming | a computer language designed in Europe to support natural language processing |
food solid food | any solid substance (as opposed to liquid) that is used as a source of nourishment, food and drink |
land dry land earth ground solid ground terra firma | the solid part of the earth's surface, the plane turned away from the sea and moved back over land, the earth shook for several minutes, he dropped the logs on the ground |
logic operation logical operation | an operation that follows the rules of symbolic logic |
solid | a three-dimensional shape |
solid figure three-dimensional figure | a three-dimensional shape |
solid angle | an angle formed by three or more planes intersecting at a common point (the vertex) |
regular polyhedron regular convex solid regular convex polyhedron Platonic body Platonic solid ideal solid | any one of five solids whose faces are congruent regular polygons and whose polyhedral angles are all congruent |
solid solidness solid state | the state in which a substance has no tendency to flow under moderate stress, resists forces (such as compression) that tend to deform it, and retains a definite size and shape |
solid | matter that is solid at room temperature and pressure |
solid solution primary solid solution | a homogeneous solid that can exist over a range of component chemicals, a constituent of alloys that is formed when atoms of an element are incorporated into the crystals of a metal |
solid | uninterrupted in space, having no gaps or breaks, a solid line across the page, solid sheets of water |
solid | impenetrable for the eye, solid blackness |
solid | having three dimensions, a solid object |
solid unanimous whole | acting together as a single undiversified whole, a solid voting bloc |
solid | characterized by good substantial quality, solid comfort, a solid base hit |
firm solid | not soft or yielding to pressure, a firm mattress, the snow was firm underfoot, solid ground |
solid | of one substance or character throughout, solid gold, carved out of solid rock |
solid self-colored self-coloured | of the same color throughout, solid color |
solid-colored solid-coloured | having the same color all over |
upstanding solid | meriting respect or esteem, an upstanding member of the community |
solid | of a substantial character and not frivolous or superficial, work of solid scholarship, based on solid facts |
solid | of definite shape and volume, firm, neither liquid nor gaseous, ice is water in the solid state |
solid-state | consisting of semiconductor materials and components and related devices |
solid-state | characteristic of or relating to the physical properties of solid materials especially electromagnetic or thermodynamic or structural properties of crystalline solids |