plural of first-order logic

plural of many-sorted logic

plural of monadic predicate logic

plural of second-order logic

(computing, mathematics) a formal theory of computability

A piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met.

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

Alternative form of logical fallacy

(computing, Macintosh) A motherboard.

A device used to test and diagnose digital electronic systems.