LogiCIC and LiQuID Tutorials
LogiCIC and LiQuID Tutorials
Speaker: Robterto Giuntini (University of Cagliari)
Title: The logic of unsharp quantum mechanics
Date and time: Wednesday 22 February 2012, 14:00-16:00
Location: Room B0.203, Science Park 904, Amsterdam
We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras (multi-valued algebras) and we show that the class of all effects of any Hilbert space (positive linear operators between 0 and 1) gives rise to an example of such a structure. Effects are the main ingredients of the so-called unsharp (or operational) approach to quantum mechanics and replace projectors as possible candidates for the notion of "experimental proposition". We present some algebraic and structural properties of QMV algebras, claiming that these structures represent non-idempotent extensions of orthomodular lattices.
----------------------------------------------------------------------------------------------
Speaker: Roberto Giuntini (University of Cagliari)
Title: The Logics of Quantum Computation: An Introduction. (4 tutorial sessions)
Date: Monday 6, Wednesday 8, Monday 13, Wednesday 15 February 2012
Time: 16.00-18.00
Location: D1.112 (Mon 6), D1.115 (Wed 8), A1.14 (Mon 13), D1.114 (Wed 15)
Topics covered:
Basics of quantum computation
The need of quantum computation: an overview
First quantum computations: quantum bits (q-bits), composite quantum
systems (q-registers) and entanglement; mixtures (q-mixes)Single and multiple quantum (logical) gates: semiclassical and genuine
quantum gates. Toffoli gate, square-root of negation gate and Hadamard
gate
The logic of a universal set of quantum gates
Quantum computational structures
Reversible and irreversible classical propositional logic
The Toffoli and the Hadamard gates as a set of (approximate) universal
set for quantum gatesThe algebra of Toffoli and Hadamard gates
The Toffoli-Hadamard algebras: logico-algebraic properties
Contrasting Toffoli-Hadamard algebras with product algebras with
involution
----------------------------------------------------------------------------------------------
Speaker: Kevin T. Kelly (CMU)
Topic: Topological Epistemology
Date: Friday 20 January, 1:00-4:00 pm and Monday 23 January, 1:00-5:00 pm
Organized by the LIRa seminars: http://www.illc.uva.nl/lgc/seminar/?p=1241