Razonamiento automático (2010-11)

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.
Ejercicios Relaciones de ejercicios.
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