VDict - Definition of axiomatic set theory

search result for axiomatic set theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

axiomatic semantics denotational semantics Z axiomatic set theory theory operational semantics set theory Zermelo Frankel set theory belief revision complete theory Array Theory lattice Zermelo set theory domain theory Xy-pic CAYLEY ZFC recursion theory AADL 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 AXLE satisfiability problem sum coalesced sum UBASIC von Neumann ordinal Carl Friedrich Gauss domain Isabelle lifted domain Axiomatic Architecture Description Language Finite State Machine cellular automaton closure fuzzy logic ZF expression ontology \perp axiom cybernetics monadic CTC computable automata theory predomain autoprojector canonicity 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

First < Previous 1 2 3 Next > Last