Razonamiento Automático (2011-12)

Descripción

Este curso es una introducción al razonamiento automático a través del estudio de los sistemas Otter, ACL2 y NuSMV. En el proyecto docente de la asignatura se puede encontrar una información más detallada.

Material para el curso

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

Anuncios

20 Abr 2012	Los trabajos para la convocatoria de septiembre ser�n los mismos que para la primera convocatoria.
9 Feb 2012	Ya est�n las notas de los trabajos entregados en el segundo plazo de la primera convocatoria.
2 Feb 2012	Ya est�n las notas del examen final de Febrero
23 Ene 2012	Ya est�n las notas de los trabajos de NuSMV entregados en el primer plazo
19 Ene 2012	Ya est�n las notas del examen parcial de NuSMV. El enunciado del examen se puede descargar de la secci�n Ex�menes.
20 Dec 2011	Ya est� disponible en la secci�n Temas el ejercicio a resolver en el sistema NuSMV para la primera convocatoria

Información adicional:

Profesor:	Francisco Jesús Martín Mateos
Departamento:	Ciencias de la Computación e Inteligencia Artificial
Despacho:	Escuela Técnica Superior de Ingeniería Informática, E1-66
Tutorías:	Lunes, Martes y Jueves de 10:00 a 12:00

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