Razonamiento automático (2010-11)

Este curso ofrece una introducción al razonamiento automático usando el sistema Isabelle/HOL.

La asignatura forma parte del Máster Universitario en Lógica, Computación e Inteligencia Artificial impartido por el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla.

Temas

Apuntes y códigos

Ejercicios

Bibliografía

Sistemas


José A. Alonso Jiménez
Sevilla, 02 de abril del 2025
Licencia: Creative Commons.