Implementación de algoritmos de la lógica proposicional mediante programación funcional.

Programa de la asignatura.

En el siguiente plan de la asignatura se puede encontrar una información más detallada de la organización del curso.


Material para el curso

Temas Apuntes y problemas de clase
Prácticas Prácticas de laboratorio
Documentación Enlaces con documentación
Sistemas Sistemas utilizados en la asignatura
Exámenes Exámenes. Información sobre fecha, hora, aula y estructura de los exámenes.
Evaluación alternativa Información relacionada con la evaluación alternativa
Curso anterior Página de la asignatura del curso 2010-11

Anuncios

La prueba del curso 2015/16 se realizará el día 15 de junio de 2016 a las 10:00h. en el aula A0.30 de la Escuela. Tendrá una duración aproximada de 2 horas.


Antonia M. Chávez, Carmen Graciani, Agustín Riscos