# User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 19:13, 26 April 2014 (diff | hist) . . (+79) . . m Quantum Turing machine (→Quantum Complexity: Definition of BQP updated and latex statements removed)
- 19:01, 26 April 2014 (diff | hist) . .
**(+13,445)** . . Quantum Turing machine - 10:30, 26 April 2014 (diff | hist) . .
**(+1,581)** . . Quantum Turing machine - 19:34, 25 April 2014 (diff | hist) . .
**(+3,568)** . . Quantum Turing machine (→Example: Qubits) - 19:16, 24 April 2014 (diff | hist) . . (+47) . . m Quantum Turing machine (Image added)
- 19: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) - 19:04, 24 April 2014 (diff | hist) . .
**(+2,273)** . . Quantum Turing machine (→Church-Turing-Deutsch Thesis) - 18: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...") - 14:40, 28 December 2013 (diff | hist) . . (+151) . . m Turing machine (Link to Probabilistic Turing machine added) (current)
- 19: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) - 19:42, 26 December 2013 (diff | hist) . . (+33) . . User:Joachim Draeger/sandbox (→Definition of a Probabilistic Turing Machine) (current)
- 19:34, 26 December 2013 (diff | hist) . . (-123) . . User:Joachim Draeger/sandbox
- 19:19, 26 December 2013 (diff | hist) . . (+156) . . User:Joachim Draeger/sandbox (→Improvement of Probabilistic Computations)
- 18:58, 26 December 2013 (diff | hist) . . (+7) . . User:Joachim Draeger/sandbox (→References)
- 18:47, 26 December 2013 (diff | hist) . .
**(+8,294)** . . User:Joachim Draeger/sandbox - 15:22, 28 September 2013 (diff | hist) . . (+35) . . m Turing machine (→Nondeterministic Turing machines: Link to corresponding article)
- 15:20, 28 September 2013 (diff | hist) . . (+26) . . m Talk:Nondeterministic Turing machine (current)
- 15: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) (current)
- 15: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)
- 15: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)
- 15: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)
- 09:27, 28 September 2013 (diff | hist) . . (+75) . . m Talk:Nondeterministic Turing machine
- 20: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...") - 20: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...") - 20:21, 4 August 2013 (diff | hist) . . (+298) . . User:Joachim Draeger/sandbox
- 19:54, 4 August 2013 (diff | hist) . . (-4) . . User:Joachim Draeger/sandbox (→Universality of Turing Machines)
- 19:51, 4 August 2013 (diff | hist) . . (-84) . . User:Joachim Draeger/sandbox
- 19:48, 4 August 2013 (diff | hist) . .
**(-7,900)** . . m User:Joachim Draeger/sandbox - 19:33, 4 August 2013 (diff | hist) . . (+12) . . m Turing machine (MSC entry added, empty lines removed)
- 19:35, 29 July 2013 (diff | hist) . . (+6) . . m Turing machine (→References)
- 19:34, 29 July 2013 (diff | hist) . . (-1) . . m Turing machine (→Definition of a Turing Machine: Citation corrected)
- 19:33, 29 July 2013 (diff | hist) . . (+244) . . m Turing machine (→References: Entry added)
- 19:28, 29 July 2013 (diff | hist) . . (+86) . . m Turing machine (→Definition of a Turing Machine)
- 15:07, 28 July 2013 (diff | hist) . .
**(+1,177)** . . Turing machine (→Multi-Tape Turing machines: Operational views added) - 14:35, 28 July 2013 (diff | hist) . . (+408) . . m Turing machine (→Configurations: Formal definition of configuration space added)
- 14:23, 28 July 2013 (diff | hist) . . (+6) . . m Turing machine (→Definition of a Turing Machine: Error in the definition of delta corrected)
- 14:22, 28 July 2013 (diff | hist) . . (+94) . . m Turing machine
- 14:16, 28 July 2013 (diff | hist) . .
**(+763)** . . m Turing machine (→Definition of a Turing Machine) - 14:47, 21 July 2013 (diff | hist) . .
**(-1,972)** . . m Turing machine (Texification) - 14:42, 21 July 2013 (diff | hist) . .
**(-2,350)** . . User:Joachim Draeger/sandbox - 14:17, 21 July 2013 (diff | hist) . . (+133) . . User:Joachim Draeger/sandbox
- 14:06, 21 July 2013 (diff | hist) . .
**(+13,181)** . . User:Joachim Draeger/sandbox (→References) - 10:40, 20 May 2013 (diff | hist) . . (+308) . . m Formula (→Sentences and Atomic Formulas: Definition of universal closure added) (current)
- 21: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...") (current) - 16:56, 21 April 2013 (diff | hist) . . (+115) . . m Sigma-algebra (Computer Science) (Criterion added for a mapping being a morphism) (current)
- 16:43, 21 April 2013 (diff | hist) . . (+45) . . m Sigma-algebra (Computer Science) (reference added)
- 16:35, 21 April 2013 (diff | hist) . . (+186) . . m Evaluation (Short remark concerning designation) (current)
- 11:05, 21 April 2013 (diff | hist) . . (+181) . . m Coordinatization (Introduction improved) (current)
- 21: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...") (current) - 19:31, 18 April 2013 (diff | hist) . . (+286) . . m Sigma-algebra (Computer Science) (→Special Topics)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)