(computing) The logic governing what a computer program is trying to accomplish; domain logic.

(programming) a case in which a programmer writes viable code that however produces undesired results

plural of logical language

(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

(logic) A logic that directly supports classification of entities into disjunct sorts.

plural of uncommitted logic array

(electronics) A gate array.

plural of arithmetic logic unit

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

(logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.