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 |