User contributions
- 17:13, 26 April 2014 diff hist +79 m Quantum Turing machine →Quantum Complexity: Definition of BQP updated and latex statements removed
- 17:01, 26 April 2014 diff hist +13,445 Quantum Turing machine
- 08:30, 26 April 2014 diff hist +1,581 Quantum Turing machine
- 17:34, 25 April 2014 diff hist +3,568 Quantum Turing machine →Example: Qubits
- 17:16, 24 April 2014 diff hist +47 m Quantum Turing machine Image added
- 17:10, 24 April 2014 diff hist +2,026 N File:Bloch sphere.png Bloch Sphere \begin{tikzpicture}[scale=1,every node/.style={minimum size=1cm}] \def\R{4} % sphere radius \def\angEl{25} % elevation angle \def\angAz{-10} % azimuth angle \def\angPhiOne{-20} % longitude of point P \def\angPhiTwo{-110} % longitude ... current
- 17:04, 24 April 2014 diff hist +2,273 Quantum Turing machine →Church-Turing-Deutsch Thesis
- 16:18, 23 April 2014 diff hist +7,087 N Quantum Turing machine Created page with "{{MSC|68Q05|03D10|81P68}} {{TEX|done}} The quantum Turing machine (QTM) is the quantum analogon of a Turing machine (TM). For many aspects, a close analogy to the class..."
- 12:40, 28 December 2013 diff hist +151 m Turing machine Link to Probabilistic Turing machine added current
- 17:47, 26 December 2013 diff hist +12,293 N Probabilistic Turing machine Created page with " {{MSC|68Q05}} {{TEX|done}} A probabilistic Turing machine (PTM) is a Turing machine (TM) modified for executing a randomized computation. From t..." current
- 17:42, 26 December 2013 diff hist +33 User:Joachim Draeger/sandbox →Definition of a Probabilistic Turing Machine current
- 17:34, 26 December 2013 diff hist -123 User:Joachim Draeger/sandbox
- 17:19, 26 December 2013 diff hist +156 User:Joachim Draeger/sandbox →Improvement of Probabilistic Computations
- 16:58, 26 December 2013 diff hist +7 User:Joachim Draeger/sandbox →References
- 16:47, 26 December 2013 diff hist +8,294 User:Joachim Draeger/sandbox
- 13:22, 28 September 2013 diff hist +35 m Turing machine →Nondeterministic Turing machines: Link to corresponding article
- 13:20, 28 September 2013 diff hist +26 m Talk:Nondeterministic Turing machine current
- 13:19, 28 September 2013 diff hist +50 N Talk:Nondeterministic Turing Machines Joachim Draeger moved page Talk:Nondeterministic Turing Machines to Talk:Nondeterministic Turing machine: Consistency of page titles current
- 13:19, 28 September 2013 diff hist 0 m Talk:Nondeterministic Turing machine Joachim Draeger moved page Talk:Nondeterministic Turing Machines to Talk:Nondeterministic Turing machine: Consistency of page titles
- 13:19, 28 September 2013 diff hist +45 N Nondeterministic Turing Machines Joachim Draeger moved page Nondeterministic Turing Machines to Nondeterministic Turing machine: Consistency of page titles current
- 13:19, 28 September 2013 diff hist 0 m Nondeterministic Turing machine Joachim Draeger moved page Nondeterministic Turing Machines to Nondeterministic Turing machine: Consistency of page titles
- 07:27, 28 September 2013 diff hist +75 m Talk:Nondeterministic Turing machine
- 18:44, 26 September 2013 diff hist +8,236 N Nondeterministic Turing machine Created page with " {{MSC|68Q05}} {{TEX|done}} A nondeterministic Turing machine generalizes the concept of the (deterministic) Turing machine from a uniquely determined sequence of computatio..."
- 18:22, 4 August 2013 diff hist +4,150 N Universal Turing machine Created page with "{{MSC|68Q05}} {{TEX|done}} The universality property of Turing machines states that it exists a Turing machine, which can simulate the behaviour of each other Turing machine..."
- 18:21, 4 August 2013 diff hist +298 User:Joachim Draeger/sandbox
- 17:54, 4 August 2013 diff hist -4 User:Joachim Draeger/sandbox →Universality of Turing Machines
- 17:51, 4 August 2013 diff hist -84 User:Joachim Draeger/sandbox
- 17:48, 4 August 2013 diff hist -7,900 m User:Joachim Draeger/sandbox
- 17:33, 4 August 2013 diff hist +12 m Turing machine MSC entry added, empty lines removed
- 17:35, 29 July 2013 diff hist +6 m Turing machine →References
- 17:34, 29 July 2013 diff hist -1 m Turing machine →Definition of a Turing Machine: Citation corrected
- 17:33, 29 July 2013 diff hist +244 m Turing machine →References: Entry added
- 17:28, 29 July 2013 diff hist +86 m Turing machine →Definition of a Turing Machine
- 13:07, 28 July 2013 diff hist +1,177 Turing machine →Multi-Tape Turing machines: Operational views added
- 12:35, 28 July 2013 diff hist +408 m Turing machine →Configurations: Formal definition of configuration space added
- 12:23, 28 July 2013 diff hist +6 m Turing machine →Definition of a Turing Machine: Error in the definition of delta corrected
- 12:22, 28 July 2013 diff hist +94 m Turing machine
- 12:16, 28 July 2013 diff hist +763 m Turing machine →Definition of a Turing Machine
- 12:47, 21 July 2013 diff hist -1,972 m Turing machine Texification
- 12:42, 21 July 2013 diff hist -2,350 User:Joachim Draeger/sandbox
- 12:17, 21 July 2013 diff hist +133 User:Joachim Draeger/sandbox
- 12:06, 21 July 2013 diff hist +13,181 User:Joachim Draeger/sandbox →References
- 08:40, 20 May 2013 diff hist +308 m Formula →Sentences and Atomic Formulas: Definition of universal closure added current
- 19:27, 18 May 2013 diff hist +8,296 N Satisfiability Created page with "{{MSC|68P05}} {{TEX|done}} Many notions of logics (like logical consequence) can only be formulated if one is able to assign truth value to logical objects. This can be do..."
- 14:56, 21 April 2013 diff hist +115 m Sigma-algebra (Computer Science) Criterion added for a mapping being a morphism current
- 14:43, 21 April 2013 diff hist +45 m Sigma-algebra (Computer Science) reference added
- 14:35, 21 April 2013 diff hist +186 m Evaluation Short remark concerning designation current
- 09:05, 21 April 2013 diff hist +181 m Coordinatization Introduction improved current
- 19:30, 20 April 2013 diff hist +1,673 N Gödelization Created page with "{{MSC|68P05}} {{TEX|done}} A <i>Gödelization</i> or <i>Gödel numbering</i> of a $\Sigma$-algebra $A$ is a pair $(C,\beta)$ with $C$ a..."
- 17:31, 18 April 2013 diff hist +286 m Sigma-algebra (Computer Science) →Special Topics
- 17:01, 8 April 2013 diff hist +2,503 N Coordinatization Created page with "{{MSC|68P05}} {{TEX|done}} A coordinatization is a representation of a $\Sigma$-algebra $A$ by a $\Sigma$-algebra consisting of natural..."
- 16:04, 24 March 2013 diff hist 0 m Interpretation (Formalized Language) →Special Topics
- 16:02, 24 March 2013 diff hist +5,922 N Interpretation (Formalized Language) Created page with "{{MSC|68P05}} {{TEX|done}} Interpretations establish a relationship between syntax and semantics. The syntax is represented by the [[Term (Formaliz..."
- 15:58, 24 March 2013 diff hist +66 N File:Diagram interpretation.png Relationship between Evaluations, Assignements and Interpretations current
- 15:36, 24 March 2013 diff hist +1,088 N Evaluation Created page with "{{MSC|68P05}} {{TEX|done}} An interpretation $v^\ast\colon T(\Sigma,\emptyset)\longrightarrow A$ only defined on the [[Term (Formal..."
- 12:21, 3 March 2013 diff hist +2,717 N Assignement Created page with "{{MSC|68P05}} {{TEX|done}} An assignement is used for assigning specific values $a_1,\ldots,a_n$ to the free variables $X_1,\ldots,X_n\in V(t)$ of a term $t\in T(\Sigma,X)$..." current
- 15:56, 23 February 2013 diff hist +987 Sigma-algebra (Computer Science)
- 15:09, 22 February 2013 diff hist +5,528 Sigma-algebra (Computer Science) →References
- 19:31, 20 February 2013 diff hist +368 Term-generated Sigma-algebra →Characterization of Term-generated $\Sigma$-Algebras current
- 18:53, 18 February 2013 diff hist +219 m Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 16:16, 18 February 2013 diff hist +4 m Sigma-Congruence →Definition of $\Sigma$-congruences current
- 16:12, 18 February 2013 diff hist +2 m Sigma-Congruence →Application II: Term-generated $\Sigma$-Algebras
- 16:10, 18 February 2013 diff hist -1 m Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 16:10, 18 February 2013 diff hist +727 Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 18:58, 17 February 2013 diff hist +7,707 N Sigma-Congruence Created page with "{{MSC|68P05}} {{TEX|done}} A $\Sigma$-congruence is a congruence relation defined on a $\Sigma$-algebra. T..."
- 17:09, 8 February 2013 diff hist +134 m Term-Algebra current
- 17:31, 7 February 2013 diff hist +1,280 Signature (Computer Science) →The Category of Signatures current
- 20:10, 5 February 2013 diff hist +4,635 N Term-generated Sigma-algebra Created page with "{{MSC|68P05}} {{TEX|done}} The ground term-algebra $T(\Sigma)$ is the most important example of a $\Sigma$-algebra ..."
- 17:42, 4 February 2013 diff hist -4 m Signature (Computer Science) Some spaces eliminated
- 14:51, 3 February 2013 diff hist +1 m Term-Algebra
- 14:50, 3 February 2013 diff hist 0 m Term-Algebra
- 14:48, 3 February 2013 diff hist +2,599 N Term-Algebra Created page with "{{MSC|68P05}} {{TEX|done}} The formal description of a computer program consists of two components. First, a signature $\Sigma=(S,F)$ d..."
- 14:01, 2 February 2013 diff hist -1 m Sigma-algebra (Computer Science) →Category of $\Sigma$-Algebras
- 14:00, 2 February 2013 diff hist +141 m Sigma-algebra (Computer Science) →$\Sigma$-Subalgebras
- 13:36, 2 February 2013 diff hist -12 m Sigma-algebra (Computer Science)
- 13:26, 2 February 2013 diff hist -5,647 User:Joachim Draeger/sandbox
- 11:47, 1 February 2013 diff hist +6,595 N Sigma-algebra (Computer Science) Created page with " {{MSC|68P05}} {{TEX|done}} $\Sigma$-Algebras are the semantical counterpart to the signatures, which are pure syntactical ..."
- 11:15, 1 February 2013 diff hist -2 User:Joachim Draeger/sandbox
- 11:14, 1 February 2013 diff hist -1,930 User:Joachim Draeger/sandbox
- 17:41, 29 January 2013 diff hist +16 m Formula MSC supplemented
- 17:30, 29 January 2013 diff hist +23 m Formula Link added
- 16:14, 28 January 2013 diff hist +104 m Formula Some links added
- 16:09, 28 January 2013 diff hist -22 m Term (Formalized Language) current
- 16:03, 28 January 2013 diff hist +8,080 Formula
- 15:55, 28 January 2013 diff hist +8,456 User:Joachim Draeger/sandbox
- 16:22, 20 January 2013 diff hist +1,019 m Term (Formalized Language) →Definition of Terms
- 16:14, 20 January 2013 diff hist +61 m Term (Formalized Language) →Identifying and Manipulating Free Variables
- 13:32, 20 January 2013 diff hist +199 m Term (Formalized Language)
- 11:24, 20 January 2013 diff hist +27 m Signature (Computer Science) →Signatures with Special Properties
- 11:02, 20 January 2013 diff hist +208 m Term (Formalized Language) →Ground Terms and Morphisms
- 10:22, 20 January 2013 diff hist +136 m Term (Formalized Language) →Ground Terms and Morphisms
- 18:19, 18 January 2013 diff hist +107 m Term (Formalized Language) →Definition of Terms
- 18:18, 18 January 2013 diff hist 0 m Term (Formalized Language) →Ground Terms and Morphisms
- 16:32, 18 January 2013 diff hist +4 m Signature (Computer Science)
- 16:32, 18 January 2013 diff hist -3,560 User:Joachim Draeger/sandbox Blanked the page