Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.
Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.
Andrea Sorbi is Associate Professor in the Department of Mathematics at the University of Siena, Italy. The author or coauthor of several key professional papers and book chapters on computability theory and mathematical logic, he is a member of the American Mathematical Society and the Association for Symbolic Logic, among other organizations. Dr. Sorbi received the Ph.D. degree (1987) in mathematics from the City University of New York, New York.
Inhaltsangabe
Preface Contributors Resource-Bounded Measure and Randomness Degree Structures in Local Degree Theory Compressibility of Infinite Binary Sequences Beyond Gödel's Theorem: The Failure to Capture Information Content Progressions of Theories of Bounded Arithmetic On Presentations of Algebraic Structures Witness-Isomorphic Reductions and Local Search A Survey of Inductive Inference with an Emphasis on Queries A Uniformity of Degree Structures Short Course on Logic Algebra and Topology The Enumeration Degrees of the ¿02 Sets The Convenience of Tilings
Preface Contributors Resource-Bounded Measure and Randomness Degree Structures in Local Degree Theory Compressibility of Infinite Binary Sequences Beyond Gödel's Theorem: The Failure to Capture Information Content Progressions of Theories of Bounded Arithmetic On Presentations of Algebraic Structures Witness-Isomorphic Reductions and Local Search A Survey of Inductive Inference with an Emphasis on Queries A Uniformity of Degree Structures Short Course on Logic Algebra and Topology The Enumeration Degrees of the ¿02 Sets The Convenience of Tilings
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
