The mathematical basis of the probabilistic interpretation of quantum mechanics are studied, together with the algebraic formulation and C* algebras, symmetries and GNS construction, Bell inequalities.