Entscheidungsproblem - PDFSEARCH.IO - Document Search Engine

Entscheidungsproblem
Results: 25

#	Item
11	UK GLASSFrom 6 April till 14 September 2014, the glass museum GLAZENHUIS in Lommel presents an exhibition on contemporary artistic glass from the United Kingdom. The GlazenHuis organizes two t Add to Reading List Source URL: www.michaelpetry.net Language: English - Date: 2014-11-25 09:57:42 Theory of computation British people Mathematical logic Physical cosmology Alan Turing Algorithm Multiverse Entscheidungsproblem Digital physics Mathematics Computability theory Theoretical computer science
12	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
13	FerienAkademie[removed]Course ”Quantum computation” Quantum algorithm for Hilbert’s 10th problem Add to Reading List Source URL: yury.name Language: English - Date: 2006-01-02 14:44:12 Mathematical logic Theory of computation Computability theory Computational complexity theory Halting problem Diophantine equation Entscheidungsproblem Quantum computer Algorithm Theoretical computer science Mathematics Applied mathematics
14	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
15	Entscheidungsproblem Unternehmen - Standort Vergleich normativer, behavioristischer und struktureller Standortanalyseansätze Hans-Elmar Eisold Add to Reading List Source URL: epub.ub.uni-muenchen.de Language: German - Date: 2014-07-11 03:20:19
16	Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1 Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-09-21 17:06:53 Computer science Computable number Halting problem Computable function Description number Turing machine Alan Turing Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
17	Book Review The Essential Turing Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-10-06 14:59:11 Theory of computation Mathematics Alan Turing Turing machine Hypercomputation Turing test Church–Turing thesis Jack Copeland Entscheidungsproblem Computability theory Theoretical computer science Computer science
18	Alan Turing and the development of Artificial Intelligence Stephen Muggleton Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-02-12 09:11:42 Mathematics Computability theory Theory of computation Turing machine Philosophy of artificial intelligence Turing test Universal Turing machine Entscheidungsproblem Computing Machinery and Intelligence Theoretical computer science Computer science Alan Turing
19	Volume5-11-Urquhart.dvi Add to Reading List Source URL: www.ualberta.ca Language: English - Date: 2009-01-22 01:11:43 Propositional calculus Logical truth Formal languages Logical syntax Principia Mathematica Emil Leon Post Type theory Entscheidungsproblem Tautology Logic Mathematics Mathematical logic
20	PDF Document Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2009-04-12 21:16:41 Mathematical logic Theory of computation Theoretical computer science Models of computation Entscheidungsproblem Alonzo Church Stephen Cole Kleene Turing machine Lambda calculus Mathematics Computability theory Logic