SoloCodigo
Programación General => C/C++ => Mensaje iniciado por: 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?
-
en si que es lo que buscas?, la clase con las implementaciones de los metodos o que?
-
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.
-
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:(.
-
Gracias! :-D