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 |
| 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 |
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 |
logic operation
logical operation | an operation that follows the rules of symbolic logic |
discriminatory
preferential | manifesting partiality, a discriminatory tax, preferential tariff rates, preferential treatment, a preferential shop gives priority or advantage to union members in hiring or promoting |
prejudiced
discriminatory | being biased or having a belief or attitude formed beforehand, a prejudiced judge |
discriminative
discriminatory | capable of making fine distinctions |
discriminatory
invidious | containing or implying a slight or showing prejudice, discriminatory attitudes and practices, invidious comparisons |