Our new Computer Science catalog includes an introduction to computational complexity theory and its connections and interactions with mathematics; a book about the genesis of the digital idea and why it transformed civilization; and an intuitive approach to the mathematical foundation of computer science.

If you’re attending the Information Theory and Applications workshop in San Diego this week, you can stop by the **PUP table **to check out our computer science titles!

Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. Avi Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field that has shaped and will further shape science, technology, and society.

A few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers. Today our world is digital, built with zeros and ones. Why did this revolution occur? The Discrete Charm of the Machine explains, in an engaging and accessible manner, the varied physical and logical reasons behind this radical transformation, and challenges us to think about where its future trajectory may lead.

Discrete mathematics is the basis of much of computer science, from algorithms and automata theory to combinatorics and graph theory. This textbook covers the discrete mathematics that every computer science student needs to learn. Guiding students quickly through thirty-one short chapters that discuss one major topic each, Essential Discrete Mathematics for Computer Science can be tailored to fit the syllabi for a variety of courses. Fully illustrated in color, it aims to teach mathematical reasoning as well as concepts and skills by stressing the art of proof.