contenidosexcluyentes:algo1
¡Esta es una revisión vieja del documento!
Profesores Javier Blanco Damian Barsotti Martín Domínguez
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).
- Derivacion a partir de funciones recursivas finales.
contenidosexcluyentes/algo1.1127145837.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)