HjemGrupperSnakMereZeitgeist
Søg På Websted
På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.

Resultater fra Google Bøger

Klik på en miniature for at gå til Google Books

Indlæser...

Theory of computation: Turing completeness, Entscheidungsproblem, Recursion, Church-Turing thesis, Recursively enumerable language

af Group Publishing Inc.,

MedlemmerAnmeldelserPopularitetGennemsnitlig vurderingSamtaler
1Ingen7,729,530IngenIngen
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 122. Chapters: Turing completeness, Entscheidungsproblem, Recursion, Church-Turing thesis, Recursively enumerable language, -recursive function, Primitive recursive function, Rice's theorem, Chaitin's constant, Ackermann function, Self-reference, Wang tile, Computable number, Post correspondence problem, Mutual recursion, Busy beaver, Hypercomputation, Recurrence relation, Nomogram, Markov algorithm, Interactive computation, History of the Church-Turing thesis, Turing's proof, Halting problem, Digital physics, Computability, X-Machine Testing, Simply typed lambda calculus, Computable function, Super-recursive algorithm, Turing degree, Recursive languages and sets, Quantum Byzantine agreement, Semi-Thue system, Scale factor, Byzantine fault tolerance, Powerset construction, Stream X-Machine, Two Generals' Problem, Recursively enumerable set, Godel numbering, List of undecidable problems, Computation history, Nondeterministic algorithm, Brooks-Iyengar algorithm, Chain rule for Kolmogorov complexity, Computation in the limit, Description number, List of computability and complexity topics, Circuit, Algorithmic game theory, Undefined value, Computational semiotics, Omega language, List of unsolved problems in computer science, Recursive set, Limits to computation, First Draft of a Report on the EDVAC, Smn theorem, Real computation, Extended finite-state machine, Parallel computation thesis, Model of computation, Blockhead, Yao's test, Church-Turing-Deutsch principle, Two-way deterministic finite automaton, Ten15, Effective method, Sudan function, Bremermann's limit, Acceptable programming system, Rice-Shapiro theorem, History of theory of computation, Utm theorem, Cylindrification, Shadow square, Cylindric numbering, Tarski-Kuratowski algorithm, Range problem, Parallel terraced scan, Mortality, Communicating X-Machine, Computable is...… (mere)
Nyligt tilføjet afboradicus

Ingen nøgleord

Ingen
Indlæser...

Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog.

Der er ingen diskussionstråde på Snak om denne bog.

Ingen anmeldelser
ingen anmeldelser | tilføj en anmeldelse
Du bliver nødt til at logge ind for at redigere data i Almen Viden.
For mere hjælp se Almen Viden hjælpesiden.
Kanonisk titel
Originaltitel
Alternative titler
Oprindelig udgivelsesdato
Personer/Figurer
Vigtige steder
Vigtige begivenheder
Beslægtede film
Indskrift
Tilegnelse
Første ord
Citater
Sidste ord
Oplysning om flertydighed
Forlagets redaktører
Bagsidecitater
Originalsprog
Canonical DDC/MDS
Canonical LCC

Henvisninger til dette værk andre steder.

Wikipedia på engelsk

Ingen

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 122. Chapters: Turing completeness, Entscheidungsproblem, Recursion, Church-Turing thesis, Recursively enumerable language, -recursive function, Primitive recursive function, Rice's theorem, Chaitin's constant, Ackermann function, Self-reference, Wang tile, Computable number, Post correspondence problem, Mutual recursion, Busy beaver, Hypercomputation, Recurrence relation, Nomogram, Markov algorithm, Interactive computation, History of the Church-Turing thesis, Turing's proof, Halting problem, Digital physics, Computability, X-Machine Testing, Simply typed lambda calculus, Computable function, Super-recursive algorithm, Turing degree, Recursive languages and sets, Quantum Byzantine agreement, Semi-Thue system, Scale factor, Byzantine fault tolerance, Powerset construction, Stream X-Machine, Two Generals' Problem, Recursively enumerable set, Godel numbering, List of undecidable problems, Computation history, Nondeterministic algorithm, Brooks-Iyengar algorithm, Chain rule for Kolmogorov complexity, Computation in the limit, Description number, List of computability and complexity topics, Circuit, Algorithmic game theory, Undefined value, Computational semiotics, Omega language, List of unsolved problems in computer science, Recursive set, Limits to computation, First Draft of a Report on the EDVAC, Smn theorem, Real computation, Extended finite-state machine, Parallel computation thesis, Model of computation, Blockhead, Yao's test, Church-Turing-Deutsch principle, Two-way deterministic finite automaton, Ten15, Effective method, Sudan function, Bremermann's limit, Acceptable programming system, Rice-Shapiro theorem, History of theory of computation, Utm theorem, Cylindrification, Shadow square, Cylindric numbering, Tarski-Kuratowski algorithm, Range problem, Parallel terraced scan, Mortality, Communicating X-Machine, Computable is...

No library descriptions found.

Beskrivelse af bogen
Haiku-resume

Current Discussions

Ingen

Populære omslag

Quick Links

Genrer

No genres

Vurdering

Gennemsnit: Ingen vurdering.

Er det dig?

Bliv LibraryThing-forfatter.

 

Om | Kontakt | LibraryThing.com | Brugerbetingelser/Håndtering af brugeroplysninger | Hjælp/FAQs | Blog | Butik | APIs | TinyCat | Efterladte biblioteker | Tidlige Anmeldere | Almen Viden | 204,494,325 bøger! | Topbjælke: Altid synlig