Autor Tema: Re: Ayuda (Leído 1972 veces)

Hailie · « **en:** Martes 14 de Enero de 2003, 20:11 »

No tiene mucho que ver con el tema de este foro, pero como os veo muy activos voy a ver si alguien de por aquí me puede echar una manita...

Por favor, ¿alguien podría facilitarme la especificación algebraica del tipo matriz con todas sus operaciones?

davidrj

en si que es lo que buscas?, la clase con las implementaciones de los metodos o que?

Hailie

Esta sería la especificación algebraica del TAD pila (para números naturales):

tipo Pila
dominios N, Booleano
generadores
Crear: --> Pila
Apilar: N × Pila --> Pila
constructores
Desaplilar: Pila --> Pila
selectores
Cima: Pila --> N
Es_Vacia: Pila --> Booleano
precondiciones p:Pila
Cima(p): not Es_Vacía(p)
ecuaciones p:Pila, e:N
Desapilar(Crear) == Crear
Desapilar(Apilar(e, p)) == p
Es_Vacía(Crear) == V
Es_Vacía(Apilar(e, p)) == F
Cima(Apilar(e, p)) == e

Busco esto, pero para el TAD matriz.

davidrj

crearMatriz: int x int --->Matriz
asignarMatrz: Matriz x int x int x int ---> Matriz
infoMatriz: Matriz x int x int ---> int
filasMatriz: Matriz ---> int
columMatriz: Matriz ---> int

operaciones

IdentidadMatriz: ---> Matriz
tranponerMatriz: ---> Matriz
SumaMatriz: Matriz x Matriz ---> Matriz
RestaMatriz: Matriz x Matriz ---> Matriz
MultiMatriz: Matriz x Matriz ---> Matriz
InvertirMatriz: Matriz --->Matriz
DeterminanteMatriz: Matriz ---> int
ResolverMatriz: Matriz ---> *int
Cramer: Matriz ---> *int
Gauss: Matriz ---> *int

Eso es poco pero lo puedes complementar facilmente con cualquier libro de calculo.
Siento mucho el no poderte ayudar mas:(.

Hailie

Gracias! :-D