Razonamiento Automático

Descripción

Asignatura optativa de 5º de la "Ingeniería en Informática" (plan 97) adscrita al Departamento de Ciencias de la Computación e Inteligencia Artificial. Esta página web hace referencia al contenido de la asignatura desde el curso académico 2003/2004 hasta el curso 2013/2014. Durante estos años en la asignatura se realizó una introducción al razonamiento automático a través del estudio de distintos sistemas: Otter, ACL2, PVS, NuSMV.

Material para el curso

Temas Apuntes de clase
Ejercicios Relaciones de ejercicios
Sistemas Sistemas utilizados en la asignatura
Exámenes Exámenes de la asignatura
Trabajos Trabajos de la asignatura
Documentación Enlaces con documentación

Anuncios

1 Sep 2016 Al tratarse de una asignatura sin docencia, la evaluación consistirá únicamente en una prueba escrita en cada uno de los sistemas estudiados en el último año que se impartió la asignatura (Otter, ACL2 y NuSMV), sin conservar parte alguna de la evaluación de cursos anteriores.

Información adicional:

Profesor: Francisco Jesús Martín Mateos
Departamento: Ciencias de la Computación e Inteligencia Artificial
E-mail: fjesus@us.es
Despacho: Escuela Técnica Superior de Ingeniería Informática, E1-66

José A. Alonso Jiménez, Francisco J. Martín Mateos, José L. Ruiz Reina