Author: Oleg N. Terikhovsky
Publisher: Nova Publishers
ISBN: 9781604561005
Category : Computers
Languages : en
Pages : 346
Get Book Here
Book Description
Theoretical computer science focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages. This new book presents the latest research in the field from around the globe.
Author: Cristopher Moore
Publisher: OUP Oxford
ISBN: 0191620807
Category : Science
Languages : en
Pages : 1498
Get Book Here
Book Description
Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this beauty is often buried underneath layers of unnecessary formalism, and exciting recent results like interactive proofs, phase transitions, and quantum computing are usually considered too advanced for the typical student. This book bridges these gaps by explaining the deep ideas of theoretical computer science in a clear and enjoyable fashion, making them accessible to non-computer scientists and to computer scientists who finally want to appreciate their field from a new point of view. The authors start with a lucid and playful explanation of the P vs. NP problem, explaining why it is so fundamental, and so hard to resolve. They then lead the reader through the complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and the outer reaches of quantum computing. At every turn, they use a minimum of formalism, providing explanations that are both deep and accessible. The book is intended for graduate and undergraduate students, scientists from other areas who have long wanted to understand this subject, and experts who want to fall in love with this field all over again.
Author: M.A. Arbib
Publisher: Springer Science & Business Media
ISBN: 1461394554
Category : Computers
Languages : en
Pages : 228
Get Book Here
Book Description
Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine. The present volume is one of a series, The AKM Series in Theoretical Computer Science, designed to make key mathe matical developments in computer science readily accessible to under graduate and beginning graduate students. Specifically, this volume takes readers with little or no mathematical background beyond high school algebra, and gives them a taste of a number of topics in theoretical computer science while laying the mathematical foundation for the later, more detailed, study of such topics as formal language theory, computability theory, programming language semantics, and the study of program verification and correctness. Chapter 1 introduces the basic concepts of set theory, with special emphasis on functions and relations, using a simple algorithm to provide motivation. Chapter 2 presents the notion of inductive proof and gives the reader a good grasp on one of the most important notions of computer science: the recursive definition of functions and data structures.
Author: Jean-Pierre Gazeau
Publisher: IOS Press
ISBN: 1586037064
Category : Science
Languages : en
Pages : 349
Get Book Here
Book Description
Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists and specialists of theoretical informatics and discrete mathematics in order to learn about developments in cryptography, algorithmics, and more.
Author: Cristian Calude
Publisher: Springer Verlag Singapour
ISBN:
Category : Computers
Languages : en
Pages : 368
Get Book Here
Book Description
Theory and theoreticians have played a major role in computer science. Many insights into the nature of efficient computations were gained and theory was crucial for some of the most celebrated engineering triumphs of computer science (e.g., in compiler design, databases, multitask operating systems, to name just a few). Theoretical computer science (TCS) functions as a communication bridge between computer science and other subjects, notably, mathematics, linguistics, biology; it is a champion in developing unconventional models of computation (DNA, quantum). This book collects personal accounts and reflections of fourteen eminent scientists who have dedicated themselves to the craft of TCS. Contributions focus on authors specific interests, experiences, and reminiscences. The emerging picture, which is just one among other possible ones, should be a catalyst for further developments and continuations. Was most interested to learn about the project, which should be a worthwhile one." N. Chomsky, MIT. "The human story of creativity is inspiring and documents a very noble activity - the creation of knowledge in its most beautiful and useful form - the creation of a science. Supplying the technical and intellectual tools to probe some of the most fascinating questions about the nature of thought and intelligence, theoretical computer science is trying to grasp the limits of rational thought, the limits of knowable. This book will contribute to the understanding of the creation of a magnificent science." J. Hartmanis, NSF. "This is obviously an extremely worthwhile project." D. E. Knuth, Stanford University.
Author: Sanjeev Arora
Publisher: Cambridge University Press
ISBN: 0521424267
Category : Computers
Languages : en
Pages : 609
Get Book Here
Book Description
New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.
Author: Uwe Schoning
Publisher:
ISBN: 9783642603235
Category :
Languages : en
Pages : 336
Get Book Here
Book Description
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309062780
Category : Computers
Languages : en
Pages : 300
Get Book Here
Book Description
The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to this revolution are manifest; less widely recognized is the major role the federal government played in launching the computing revolution and sustaining its momentum. Funding a Revolution examines the history of computing since World War II to elucidate the federal government's role in funding computing research, supporting the education of computer scientists and engineers, and equipping university research labs. It reviews the economic rationale for government support of research, characterizes federal support for computing research, and summarizes key historical advances in which government-sponsored research played an important role. Funding a Revolution contains a series of case studies in relational databases, the Internet, theoretical computer science, artificial intelligence, and virtual reality that demonstrate the complex interactions among government, universities, and industry that have driven the field. It offers a series of lessons that identify factors contributing to the success of the nation's computing enterprise and the government's role within it.
Author: Bozzano G Luisa
Publisher: Elsevier
ISBN: 9780444880710
Category : Computers
Languages : en
Pages : 1014
Get Book Here
Book Description
This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.
Author: Juraj Hromkovič
Publisher: Springer Science & Business Media
ISBN: 9783540140153
Category : Computers
Languages : en
Pages : 336
Get Book Here
Book Description
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book also presents the development of the computer scientist's way of thinking as well as fundamental concepts such as approximation and randomization in algorithmics, and the basic ideas of cryptography and interconnection network design.
