/ Boolean algebra / Boolean algebra (structure) / Boolean function / Cache (computing) / Calculation / Check Point / Competent authority / Complement (set theory) / Complex analysis, complex variables / Computability / computation / Computer / Computer data storage / Computing / concurrent computing / Corollary / data structure / Decidability (logic) / decision problem / design methods / Design specification / Energy Development / Exportation (logic) / Expressive power (computer science) / formal verification / fundamental theorem / funding / Generating set of a group / Heuristic / Heuristic (engineering) / Homomorphism / Implementation / Instance (computer science) / Iteration / Lexical Analysis / mathematical induction / MATHEMATICS / Complex Analysis / memory management / model checking / Notation / numerical integration / Parameter (computer programming) / Parity Bit / programmer / PSPACE-complete / Report / requirement / Result / Semantics / Server (computing) / Software / Software Testing / special case / State-space representation / Statement (computer science) / Strongly connected component / Structural induction / Synchronization (computer science) / system requirements / Tautology (logic) / Theorem / time complexity / Transshipment (information security) / Variable (computer science)