29th European Summer School in Logic, Language, and Information
University of Toulouse (France), 17-28 July, 2017

Picturing Quantum Processes

Bob Coecke, Aleks Kissinger

Logic and Computation (Introductory)

Second week, from 11:00 to 12:30


We provide a self-contained introduction to quantum theory, with applications in quantum information, computation, and foundations. This course is unique in our use of a diagrammatic language throughout. Far from simple visual aids, the diagrams we use are mathematical objects in their own right, which allow us to develop from first principles a completely rigorous treatment of `textbook' quantum theory. Additionally, the diagrammatic treatment eliminates the need for the typical prerequisites of a standard course on the subject. In fact, the course has no mathematical preliminaries whatsoever; just a bit of common sense suffices.