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 s...Loe edasi...
(Ilmumisaeg: 16-Jun-2020, Hardback, Kirjastus: Princeton University Press, ISBN-13: 9780691199658)
This book presents new results in computability theory, a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The fields connections with disparate areas of mathematical logic and mathematics mor...Loe edasi...
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 suitable to topology,...Loe edasi...
(Ilmumisaeg: 01-May-2014, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781107043480)
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 comp...Loe edasi...
(Ilmumisaeg: 06-Sep-2004, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540230717)
This book constitutes the refereed proceedings of the First International Workshop on Parameterized and Exact Computation, IWPEC 2004, held in Bergen, Norway, in September 2004.The 25 revised full papers presented together with an invited paper were...Loe edasi...
Sari: De Gruyter Series in Logic & its Applications
(Ilmumisaeg: 19-Oct-2001, Hardback, Kirjastus: De Gruyter, ISBN-13: 9783110168105)
From the January 2000 workshop come seven contributions, based on lectures given, devoted to computability, complexity, and computational algebra and aimed at beginning graduate students. Topics include basic complexity, real computation, parametrize...Loe edasi...
Sari: De Gruyter Series in Logic & its Applications
(Ilmumisaeg: 01-Jan-2001, Multiple-component retail product, Kirjastus: Walter de Gruyter & Co, ISBN-13: 9783111804392)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
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 o...Loe edasi...
