Razonamiento automático (2014-15)

Este curso es una introducción al razonamiento automático asistido por ordenador usando, fundamentalmente, Isabelle/HOL).


Material para el curso

Temas Teorías 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