OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: theory



Results in the term's title:

·  AGM Theory for Belief Revision
·  Array Theory
·  automata theory
·  axiomatic set theory
·  complete theory
·  computability theory
·  Cornell Theory Center
·  decision theory
·  domain theory
·  proof theory
·  recursion theory
·  set theory
·  theory
·  theory change
·  Zermelo Fränkel set theory
·  Zermelo set theory


Results in the term's text:

·  abstract interpretation
·  abstract machine
·  Abstract Machine Notation
·  Actors
·  Agner Krarup Erlang
·  Alan Turing
·  algebraic
·  algebraic data type
·  Algebra of Communicating Processes
·  alpha conversion
·  Array Theory
·  ASL+
·  automaton
·  autoprojector
·  axiom
·  axiomatic semantics
·  axiomatic set theory
·  Axiom of Choice
·  Axiom of Comprehension
·  backward analysis
·  Banach space
·  Basic Encoding Rules
·  belief revision
·  beta conversion
·  BIFF
·  Bird-Meertens Formalism
·  bit rot
·  black art
·  block transfer computations
·  B-Method
·  bondage-and-discipline language
·  Boolean algebra
·  bottom
·  bottom-unique
·  bounded
·  boundedly complete
·  burn-in period
·  Busy Beaver
·  CA
·  canonical
·  canonicity
·  Carl Friedrich Gauss
·  category
·  CAYLEY
·  cellular automaton
·  chain
·  CHARITY
·  chromatic number
·  Church of the SubGenius
·  Cinderella Book
·  closed term
·  closure
·  closure conversion
·  coalesced sum
·  COLD-K
·  combination
·  combinator
·  compact
·  compactness preserving
·  complete
·  complete metric space
·  complete partial ordering
·  complete theory
·  computable
·  computron
·  Concrete Data Structure
·  consistently complete
·  constructive
·  constructor
·  Cornell University
·  CTC
·  CUCH
·  cybernetics
·  decidability
·  decision problem
·  decision theory
·  delta
·  delta reduction
·  denotational semantics
·  deterministic automaton
·  directed set
·  Discordianism
·  discriminated union
·  disjoint union
·  distributive lattice
·  domain
·  Domain Analysis
·  domain theory
·  dual
·  effective computable
·  Eiffel
·  embedding
·  entropy
·  equational logic
·  error detection and correction
·  eta conversion
·  European Computer-Industry Research Centre GmbH
·  evaluator
·  fat electrons
·  Finite State Machine
·  F+L
·  FSM
·  functor
·  fuzzy logic
·  games
·  GAP
·  gedanken
·  George Boole
·  Godzillagram
·  Gottlob Frege
·  greatest lower bound
·  GRG
·  Hamiltonian problem
·  handwave
·  Head Normal Form
·  head-strict
·  icon
·  ideal
·  inclusive
·  infinite
·  Institut National de Recherche en Informatique et Automatique
·  Intel 486SX
·  Interest Group in Pure and Applied Logics
·  intuitionistic logic
·  Isabelle
·  John von Neumann
·  join
·  LAMBDA
·  lattice
·  least upper bound
·  Lempel-Ziv Welch compression
·  lifted domain
·  linear argument
·  linear logic
·  linear type
·  Liskov substitution principle
·  low-bandwidth
·  Magic Switch Story
·  Management Information Base
·  metaheuristic
·  minimal automaton
·  model checking
·  monad
·  monadic
·  monotonic
·  Mu
·  Neutrosophy
·  NIAL
·  nondeterministic automaton
·  Omega-algebraic
·  Ontic
·  ontology
·  open/closed principle
·  operational semantics
·  Pari
·  partial ordering
·  perp
·  pi-calculus
·  plonk
·  pointed domain
·  polymorphism
·  powerdomain
·  predomain
·  pre-order
·  projection
·  proof
·  PROSE
·  quantum bogodynamics
·  quantum computer
·  race condition
·  rdb
·  recursion theory
·  reduction strategy
·  reflexive
·  relational algebra
·  Richard Hamming
·  Russell' s Paradox
·  satisfiability problem
·  semantics
·  set complement
·  set theory
·  sqsubseteq
·  state
·  static analysis
·  steganography
·  Stephen Kleene
·  sticky analysis
·  sum
·  syntax tree
·  theory
·  theory change
·  toy language
·  transitive closure
·  transparent
·  tree
·  Turing Machine
·  type
·  type assignment
·  typed lambda-calculus
·  UBASIC
·  union
·  Universal algebra
·  Unix conspiracy
·  Use the Source Luke
·  V.FC
·  von Neumann ordinal
·  wavelet
·  Xy-pic
·  Z
·  Zermelo Fränkel set theory
·  Zermelo set theory
·  ZFC
·  ZF expression


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0562 Seconds, with 15 Database-Queries
Zurück zur Startseite