A system of quotation in which terminal punctuation marks are enclosed within a quotation only if the sense of the punctuation is part of the original material being quoted.

(computer science) Model of computation based on combinators.

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

(philosophy) The doctrine that the world consists of ultimate logical "facts" (or "atoms") that cannot be broken down any further.

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

A device used to test and diagnose digital electronic systems.

Alternative form of logical fallacy

(computing) The number, obtained by complementing every bit of a given number, which produces all ones when exclusive ored with the given number.

(computing, Macintosh) A motherboard.

(computing, mathematics) a formal theory of computability