Nástin formální stavby kvantové mechaniky