Omar Meza Montero Programacin II

TDA: NMEROS COMEPLEJOS. Definicin: Un nmero complejo es un par ordenado formado por una parte real y otra imaginaria. En donde: Complejo= (real, imaginario), real R imaginario I. Tipo: Complejo. Tipo abstracto Complejo: c Tipo abstracto Imaginario: a Tipo abstracto Real: b Operaciones: Funcin ConstruirComplejo (RE: Real, IM: Imaginario) Complejo {Precondicin: RE R IM I} {postcondicin: a = Re AND b = IM AND c=complejo} Funcin P.REAL (r: Real) Real {postcondicin: P.REAL = b} Funcin P.IMAGINARIA (i: Imaginario) Imaginario {postcondicin: P.IMAGINARIO= a} FuncionSUMARCOMPLEJOS(CO1,CO2:COMPLEJO) Complejo Inicio { SUMARCOMEPLEJOS= ContruirComplejo(P.REAL(r1)+P.REAL(r2),((P.IMAGINARIA(i1)+P.IMAGINARIA(i2))*i)) {postcondicin: SUMARCOMEPLEJOS = c} FIN} FuncionRESTARCOMPLEJOS(CO1,CO2:COMPLEJO) Complejo Inicio {

Omar Meza Montero Programacin II

RESTARCOMEPLEJOS= ContruirComplejo(P.REAL(r1)+P.REAL(r2),((P.IMAGINARIA(i1)+P.IMAGINARIA(i2))*i)) {postcondicin: RESTARCOMEPLEJOS = c} FIN} FuncionPRODUCTOCOMPLEJOS(CO1,CO2:COMPLEJO) Complejo Inicio { PRODUCTOCOMEPLEJOS= ContruirComplejo[(P.REAL(r1)*P.REAL(r2)P.IMAGINARIA(i1)*P.IMAGINARIA(i2)), ((P.REAL(r1)*P.IMAGINARIA(i2) + P.IMAGINARIA(i1)*P.REAL(r2))*i)] {postcondicin: PRODUCTOCOMEPLEJOS = c} FIN} FuncionDIVISIONCOMPLEJOS(CO1,CO2:COMPLEJO) Complejo Inicio { PRECONDICIN { ((P.REAL (r2)*P.REAL (r2)) + (P.IMAGINARIA (i2)*P.IMAGINARIA (i2)) 0} DIVISIONCOMEPLEJOS= ContruirComplejo[(P.REAL(r1)*P.REAL(r2)+ P.IMAGINARIA(i1)*P.IMAGINARIA(i2)) / ((P.REAL(r2)*P.REAL(r2))+(P.IMAGINARIA(i2)*P.IMAGINARIA(i2)))] , DIVISOR DISTINTO A CERO PARTE REAL

[((P.IMAGINARIA(i1)*P.REAL(r2))-(P.REAL(r1)*P.IMAGINARIA(i2))/ ( (P.REAL(r2)*P.REAL(r2))+ (P.IMAGINARIA(i2)*P.IMAGINARIA(i2)) )*i] {postcondicin: DIVSIONCOMEPLEJOS = c}} PARTE IMAGINARIA

Omar Meza Montero Programacin II

DIVISION DE NMEROS COMPLEJOS (FRMULA MATEMTICA)

PARTE REAL

PARTE IMAGINARIA

MULTIPLICACION DE NMEROS COMPLEJOS (FRMULA MATEMTICA)

PARTE REAL

PARTE IMAGINARIA