Сделана попытка во всех деталях, с максимально подробными пояснениями и примерами покачать, как применяется математический формализм при количественном анализе квантовой запутанности. Проанализирована мера запутанности двухсоставных чистых состояний, предложенная Беннеттом (С.Н. Bennett) с соавторами, и основанная на понятии энтропии фон - Неймана редуцированных матриц плотности. Рассмотрено также понятие согласованности (concurrence) и аналитический метод для вычисления согласованности, предложенный Вуттерсом (W.K. Woottеrs) с использованием "spin-flip" преобразования (матрицы "перевернутых спинов").