logic programming logic programing | creating a program that enables the computer to reason logically |
block diagram | a diagram showing the interconnections between the components of system (especially an electronic system) |
cash machine cash dispenser automated teller machine automatic teller machine automated teller automatic teller ATM | an unattended machine (outside some banks) that dispenses money when a personal coded card is used |
diagram | a drawing intended to explain how something works, a drawing showing the relation between the parts |
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 |
National Association of Securities Dealers Automated Quotations NASDAQ | a computerized data system to provide brokers with price quotations for securities traded over the counter |
Venn diagram Venn's diagram | a diagram that uses circles to represent mathematical or logical sets pictorially inside a rectangle (the universal set), elements that are common to more than one set are represented by intersections of the circles |
wiring diagram | a schematic drawing of the wiring of an electrical system |
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 |
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 |
flow chart flowchart flow diagram flow sheet | a diagram of the sequence of operations in a computer program or an accounting system |
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 |
radiation pattern radiation diagram pattern | graphical representation (in polar or Cartesian coordinates) of the spatial distribution of radiation from an antenna as a function of angle |
logic operation logical operation | an operation that follows the rules of symbolic logic |
tree tree diagram | a figure that branches from a single root, genealogical tree |
diagram plot | make a schematic or technical drawing of that shows interactions among variables or how something is constructed |
automated machine-controlled machine-driven | operated by automation, an automated stoker |