VDict - Definition of theory

search result for theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

theory set theory Zermelo Frankel set theory belief revision complete theory Array Theory lattice Zermelo set theory domain theory axiomatic set theory denotational semantics Xy-pic CAYLEY ZFC recursion theory Russell's Paradox pre-order decision theory embedding theory change bounded 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 Finite State Machine cellular automaton closure fuzzy logic ZF expression ontology \perp axiom cybernetics monadic computable automata theory CTC canonicity predomain autoprojector 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 pi-calculus Abstract Machine Notation monotonic CUCH boundedly complete COLD-K bottom F+L

First < Previous 1 2 3 Next > Last