Página principal - DAO con Coq

Página principal

De DAO con Coq

Revisión del 17:16 27 jul 2018 de Jalonso (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Apuntes de demostración asistida por ordenador con Coq para los cursos de

Razonamiento automático del Máster Universitario en Lógica, computación e inteligencia artificial de la Universidad de Sevilla.
Lógica matemática y fundamentos del Grado en Matemáticas de la Universidad de Sevilla.

Temas

Tema 1: Programación funcional y métodos elementales de demostración en Coq.

Obtenido de «https://www.glc.us.es/~jalonso/DAOconCoq/index.php?title=Página_principal&oldid=27»