Primero que todo debe instalar Manta en su computador, las fuentes en
C que pueden compilarse en muchas plataformas. Tambien hay precompilados
para diversas máquinas y sistemas operativos en nuestro sitio
WEB (http://wwwisc.uniandes.edu.co/~manta).
0. ¿Que es un TAD?
|
Explica de forma breve e informal que es y para que sirve un TAD
|
CASO 1. El TAD Pila
-
1.1. Definición del TAD Pila
-
1.2. Propiedades del TAD Pila
-
1.3. Generación de un Prototipo
|
Una de las estructuras de datos más empleadas es una pila,
en este capítulo se expone la Pila como un Tipo Abstractode Datos,
después se dan instrucciones para implementarlo en Manta. Se explica
como emplear el demostrador de teoremas para probar algunas propiedades
sencillas de este TAD y se explica como generar código en C que
implemente una Pila de enteros.
|
CASO 2. El TAD Cola representado con el TAD Pila
-
2.1. El TAD Cola
-
2.2. Representación
|
Para implementar un TAD suele emplearse otro ya definido. Este es el caso
que se ejemplifica aquí, representando el TAD Cola con el TAD Pila.
|
CASO 3. Una aplicación completa
Próximo Estreno
|
Estamos trabajando en un sistema para derivar y reducir funciones (recuerda
Calculo Diferencial?)
|
Referencias
|
Bibliografía y enlaces a páginas relacionadas.
|