Buch
Handbook of Computability and Complexity in Analysis
Vasco Brattka; Peter Hertling (Hrsg.)
106,99
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | Theory and Applications of Computability |
Sprache | : | Englisch |
Erschienen | : | 05. 06. 2021 |
Seiten | : | 430 |
Einband | : | Gebunden |
Höhe | : | 235 mm |
Breite | : | 155 mm |
ISBN | : | 9783030592332 |
Sprache | : | Englisch |
Autorinformation
Vasco Brattka is a professor for Theoretical Computer Science and Mathematical Logic at the Universität der Bundeswehr München and an Honorary Research Associate at the University of Cape Town. He is the Editor-in-Chief of Computability, the journal of the association, Computability in Europe, published by IOS Press. His research interests include computable analysis, computability theory, effective descriptive set theory, algorithmic randomness, complexity and logic, and Weihrauch complexity. Peter Hertling is a professor in the Institut für Theoretische Informatik, Mathematik und Operations Research at the Universität der Bundeswehr München. He is an Associate Editor of the Journal of Complexity, published by Elsevier. His research interests include computable analysis, descriptive complexity and algorithmic randomness, complexity theory over the real numbers, and information-based complexity.
Inhaltsverzeichnis
Part I, Computability in Analysis.- Computability of Real Numbers.- Computability of Subsets of Metric Spaces.- Computability of Differential Equations.- Computable Complex Analysis.- Part II, Complexity, Dynamics, and Randomness.- Computable Geometric Complex Analysis and Complex Dynamics.- A Survey on Analog Models of Computation.- Computable Measure Theory and Algorithmic Randomness.- Algorithmic Fractal Dimensions in Geometric Measure Theory.- Part III Constructivity, Logic, and Descriptive Complexity.- Admissibly Represented Spaces and Qcb-Spaces.- Bishop-Style Constructive Reverse Mathematics.- Weihrauch Complexity in Computable Analysis.- Index