Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory,

Theory and theoreticians have played a major role in computer science. Many insights into the nature of efficient computations were gained and theory was crucia

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists an

Computer science majors taking a non-programming-based course like discrete mathematics might ask 'Why do I need to learn this?' Written with these students in

This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of program-size c