(Ilmumisaeg: 20-Mar-2024, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811232282)
This is a book about the Halting Problem, arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary computer program eventually stops? This seems a dull, petty question: after all, you run th...Loe edasi...
(Ilmumisaeg: 20-Mar-2024, EPUB+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811232282)
This is a book about the Halting Problem, arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary computer program eventually stops? This seems a dull, petty question: after all, you run th...Loe edasi...
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and in...Loe edasi...
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and in...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...
(Ilmumisaeg: 18-May-2022, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811259302)
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Anal...Loe edasi...
Sari: Chapman & Hall/CRC Monographs and Research Notes in Mathematics
(Ilmumisaeg: 07-Nov-2021, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000471106)
Noncommutative Polynomial Algebras of Solvable Type and Their Modules is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. In...Loe edasi...
Sari: Chapman & Hall/CRC Monographs and Research Notes in Mathematics
(Ilmumisaeg: 07-Nov-2021, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000471120)
Noncommutative Polynomial Algebras of Solvable Type and Their Modules is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. In...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...
Douglas Cenzer, Christopher Porter, Jindrich Zapletal
(Ilmumisaeg: 02-Oct-2020, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789813228245)
This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibi...Loe edasi...
Douglas Cenzer, Christopher Porter, Jindrich Zapletal
(Ilmumisaeg: 02-Oct-2020, EPUB+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789813228245)
This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibi...Loe edasi...
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronaviru...Loe edasi...
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronaviru...Loe edasi...
(Ilmumisaeg: 16-Jun-2020, PDF+DRM, Kirjastus: Princeton University Press, ISBN-13: 9780691200217)
Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of mathematics, with applications in topology, group theor...Loe edasi...
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, t...Loe edasi...
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, t...Loe edasi...
(Ilmumisaeg: 23-Jul-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319944180)
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition,...Loe edasi...
(Ilmumisaeg: 23-Jul-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319944180)
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition,...Loe edasi...
