contenidosexcluyentes:algo1
¡Esta es una revisión vieja del documento!
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.
contenidosexcluyentes/algo1.1127150056.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)