Turing Computability Theory and Applications /
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from T...
Κύριος συγγραφέας: | Soare, Robert I. (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2016.
|
Σειρά: | Theory and Applications of Computability, In cooperation with the association Computability in Europe,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
The Incomputable Journeys Beyond the Turing Barrier /
Έκδοση: (2017) -
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Έκδοση: (2007) -
The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010) -
Finitely Supported Mathematics An Introduction /
ανά: Alexandru, Andrei, κ.ά.
Έκδοση: (2016) -
Mathematics of Discrete Structures for Computer Science
ανά: Pace, Gordon J.
Έκδοση: (2012)