Mathematical Logic And Computation Codexery
A source-cited reference to mathematical logic and computation
Mathematical Logic And Computation
Abstract machine · Algorithm · Analysis of algorithms · Successive over-relaxation · Turing machine · Universal Turing machine · Turing's proof · Turing degree · Turing reduction · Viterbi algorithm · Abstract data type · Adjacency matrix · Automata theory · Computability theory · Decidability (logic) · Halting problem · NP-completeness · P versus NP · Boolean algebra · Truth table