B024294 - LOGIC AND QUANTITISTIC COMPUTING

Italian (English if required)

Title: quantum logic and computation

Elements of quantum information theory: logical consequences and computational possibilities.

Leonard Susskind and Art Friedman
"Quantum Mechanics: The Theoretical Minimum
What You Need to Know to Start Doing Physics"

Aim of this course is to help the students acquiring
- knowledge of the formal and conceptual tools of quantum mechanics
- understanding of the fundamental theorems, paradoxes and protocols of quantum logic
- capability to apply the above knowledge to the understanding of the main quantum gates and teleportation

Elementary knowledge of vectors and complex numbers is useful but not necessary.
Basic notions and essential formalisms will be in any case introduced during the first lessons of the course.

Lectures at the blackboard, with examples and exercises. One hour at the end of each week's lectures will be made up of a free discussion on the topics considered during the week itself. Some lectures will be complemented with images and video projections.

For an in-depth analysis from the viewpoint of
1) physics:
Michael A.Nielsen and Isaac L.Chuang, "Quantum Computation and Quantum Information", Cambridge University Press (2003).
2) logic:
M. Dalla Chiara, R. Giuntini, and R. Greechie, "Reasoning in quantum theory: Sharp and Unsharp Quantum Logics", Springer-Netherlands (2004).