Lectures on the mathematics of quantum mechanics. I (2015)