Course

Composite Quantum Systems - Examples and basic mathematical properties; Entanglement - Schmidt decomposition/Schmidt number; Infinite dimensional Hilbert space and unbounded operators - Dirac's approach vs von Neumann's approach. 

Meaning of labels; state up-date rule as a consequence of postulates; state up-date rule classically - Kochen-Specker model of qubit. Some additional references on the Kochen Specker model: Part II; Chap. D part 3.

Open question for deriving Quantum vs Classical Mechanics; 2-level systems ("Quantum Bit") - Quantum vs Classical rotations; State update rule - Luder's Rule (post-selected scenario vs non-post-selected scenario).