contenidosexcluyentes:algo1
Tabla de Contenidos
Algoritmos y Estructuras de Datos I
Profesores Javier Blanco Damian Barsotti Martín Domínguez
Contenidos Mínimos
La materia cuenta con un teórico y un laboratorio.
Teórico
La materia tiene un apunte con los contenidos que se dan en la materia.
Todos los contenidos del apunte se dan menos el capitulo 16 (Conjuntos y Listas). Esto incluye:
- Cálculo proposicional y lógica de primer orden adaptados para la programación (cuantificadores generalizados).
- Creación de especificaciones en esta lógica.
- Derivación y verificación de programas funcionales en esta lógica.
- Programación imperativa:
- Derivación a la Dijkstra (búsqueda de invariantes).
- Derivación a partir de funciones recursivas finales.
Laboratorio
Linux
Todo lo escrito en el tutorial de Linux.
Programación Funcional
Se enseña de Haskell solo lo necesario para programar los contenidos del teórico. Esto incluye:
- Funciones recursivas.
- Definición de funciones con guardas y patterns.
- Definiciones locales.
- Tipos aritméticos, caracteres y listas.
- Creacion de tipos nuevos con data 1).
- Definición de operadores.
Programación Imperativa
1)
Solo se da un ejemplo de un tipo union estilo maybe.
contenidosexcluyentes/algo1.txt · Última modificación: 2018/08/10 03:03 por 127.0.0.1