(Ilmumisaeg: 29-Oct-2024, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031700941)
The subject of this monograph are restarting automata. The definition of these automata is motivated by the linguistic technique of analysis by reduction. This technique, which can be used to analyze sentences in natural languages with a rather free...Loe edasi...
(Ilmumisaeg: 19-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031348273)
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in t...Loe edasi...
(Ilmumisaeg: 19-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031348273)
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in t...Loe edasi...
(Ilmumisaeg: 25-Jul-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031113673)
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part...Loe edasi...
Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turings seminal work in the 1930s. This was motivated by questions such as: which real numbers and real number functions are computable, and which...Loe edasi...
(Ilmumisaeg: 05-May-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319436692)
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different discip...Loe edasi...
(Ilmumisaeg: 05-May-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319436692)
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different discip...Loe edasi...
(Ilmumisaeg: 20-Jun-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642319334)
Turings 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 p...Loe edasi...
(Ilmumisaeg: 06-Nov-2015, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662479926)
This book offers a self-contained exposition of the theory of computability in a higher-order context, where computable operations may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the wo...Loe edasi...
(Ilmumisaeg: 08-Sep-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642224157)
The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-l...Loe edasi...
(Ilmumisaeg: 29-Oct-2010, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9780387684413)
Intuitively, a sequence such as 101010101010101010... does not seem random, whereas 101101011101010100..., obtained using coin tosses, does. How can we reconcile this intuition with the fact that both are statistically equally likely? What does it me...Loe edasi...
