Un'introduzione musicologica alla formalizzazione algebrica delle strutture musicali