New Computational Paradigms: Changing Conceptions of What is Computable
157.15 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10316705
Beschreibung
The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy, and Computer Science.- Alan Turing, Logical and Physical.- Computability and Numberings.- Computation as Conversation.- Computation Paradigms in Light of Hilbert's Tenth Problem.- Elementary Algorithms and Their Implementations.- Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science.- Church Without Dogma: Axioms for Computability.- Computability on Topological Spaces via Domain Representations.- On the Power of Broadcasting in Mobile Computing.- Logic, Algorithms and Complexity.- The Computational Power of Bounded Arithmetic from the Predicative Viewpoint.- Effective Uniform Bounds from Proofs in Abstract Functional Analysis.- Effective Fractal Dimension in Algorithmic Information Theory.- Metamathematical Properties of Intuitionistic Set Theories with Choice Principles.- New Developments in Proofs and Computations.- Models of Computation from Nature.- From Cells to (Silicon) Computers, and Back.- Computer Science, Informatics, and Natural Computing-Personal Reflections.- Computable Analysis and Real Computation.- A Survey on Continuous Time Computations.- A Tutorial on Computable Analysis.- A Continuous Derivative for Real-Valued Functions.- Infinite Time Computable Model Theory.
Eigenschaften
Breite: | 15 |
Gewicht: | 861 g |
Höhe: | 23 |
Seiten: | 560 |
Sprachen: | Englisch |
Autor: | Andrea Sorbi, Benedikt Löwe, S.B. Cooper |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen