Formalismus kvantové mechaniky pro složené systémy