VDict - Definition of computability theory

search result for computability theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

computability theory computable theory metaheuristic Hamiltonian problem set theory Zermelo Frankel set theory belief revision Finite State Machine complete theory Turing Machine Array Theory lattice abstract machine Zermelo set theory domain theory axiomatic set theory denotational semantics Xy-pic CAYLEY decidability ZFC recursion theory Russell's Paradox pre-order decision theory embedding theory change bounded search problem algebraic inclusive ideal pointed domain Axiom of Comprehension projection equational logic bondage-and-discipline language Unix conspiracy Z satisfiability problem sum coalesced sum UBASIC von Neumann ordinal Carl Friedrich Gauss domain Isabelle lifted domain cellular automaton closure fuzzy logic von Neumann architecture ZF expression ontology \perp axiom cybernetics monadic CTC automata theory autoprojector canonicity predomain CA FSM computron sticky analysis consistently complete block transfer computations GRG directed set minimal automaton Universal algebra type assignment Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion

First < Previous 1 2 3 Next > Last