Syllabus
Finite dimensional vector space, inner-product, complex numbers, linear adjoints,
unitary maps, projectors, trace, tensor product of Hilbert spaces, Dirac notation,
bit, qubit, entanglement, map-state duality, no-cloning, quantum circuits, quantum
gates, Shor's algorithm, Grover's algorithm, quantum teleportation, quantum
key-exchange, teleportation and measurement based quantum computing, decoherence,
mixed states, quantum information, quantum logic, quantum categorical semantics.