Rod Downey – författare
Visar alla böcker från författaren Rod Downey. Handla med fri frakt och snabb leverans.
13 produkter
Hierarchy of Turing Degrees
A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability
Inbunden, 2020
1853 kr
Lägg i varukorg
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 theory, and other subfields.In A Hierarchy of Turing …
Hierarchy of Turing Degrees
A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability
Häftad, 2020
848 kr
Lägg i varukorg
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 theory, and other subfields.In A Hierarchy of Turing …
Hierarchy of Turing Degrees
A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability
E-bok, 2020
1170 kr
Lägg i varukorg
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 theory, and other subfields. In A Hierarchy of Turing …
Turing's Legacy
Developments from Turing's Ideas in Logic
Av Rod Downey
Inbunden, 2014
2013 kr
Lägg i varukorg
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from …
Computability and Complexity
Foundations and Tools for Pursuing Scientific Applications
Av Rod Downey
Häftad, 2024
661 kr
Lägg i varukorg
This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part of mathematics and computer science which seeks to clarify what we mean by computation or …
Computability and Complexity
Foundations and Tools for Pursuing Scientific Applications
Av Rod Downey
E-bok, 2024
868 kr
Lägg i varukorg
This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part of mathematics and computer science which seeks to clarify what we mean by computation or …
Aspects of Complexity
Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
Av Rod Downey, Denis R. Hirschfeldt
Inbunden, 2001
1644 kr
Lägg i varukorg
The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebra.Topics covered include basic models and questions of complexity theory, the Blum-Shub-Smale model of computation, probability theory applied to …
Aspects of Complexity
Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
Av Denis R. Hirschfeldt, Rod Downey
E-bok, 2011
1457 kr
Lägg i varukorg
The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebra. Topics covered include basic models and questions of complexity theory, the Blum-Shub-Smale model of computation, probability theory applied to …
Parameterized and Exact Computation
First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings
Av Frank Dehne, Rod Downey m. fl.
Häftad, 2004
569 kr
Lägg i varukorg
Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena growinginterest in the two-dimensionalframework of parameterizedcomplexity, where, in addition to the overall input size, one also considers a parameter,with …
Parameterized and Exact Computation
First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings
Av Michael Fellows, Rod Downey m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE
Av Downey Rod, Rod Downey m. fl.
Inbunden, 2013
1848 kr
Lägg i varukorg
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, AND RANDOMNESS - PROCEEDINGS OF THE 16TH ASIAN LOGIC CONFERENCE AND 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY, AND RANDOMNESS
Av Brendle Joerg, Joerg Brendle m. fl.
Inbunden, 2025
1379 kr
Lägg i varukorg
This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and …
PROCEEDINGS OF THE 7TH AND 8TH ASIAN LOGIC CONFERENCES
Av DOWNEY ROD, Rod Downey m. fl.
Inbunden, 2003
2270 kr
Tillfälligt slut
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer …
