The Blind Spot: Lectures on Logic
These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically...
Understanding Concurrent Systems (Texts in Computer Science)
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...
Lectures in Game Theory for Computer Scientists
Game playing is a powerful metaphor that fits many situations where interaction
between autonomous agents plays a central role. Numerous tasks
in computer science, such as design, synthesis, verification, testing, query
evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing
them abstractly as games reveals the...