Razonamiento automático (2011-12)

Este curso es una introducción al razonamiento automático tanto en lógica de primer orden (con Prover9 y Mace4) como en lógica de orden superior (con Isabelle/Isar).


Material para el curso

Temas Transparencias de los temas.
Documentación Enlaces con documentación.
Sistemas Sistemas utilizados.
Diario DescripciĆ³n diaria de las clases.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]

Universidad de Sevilla