Lógica informática (2005-06)

Este curso es una introducción de los principales conceptos lógicos tanto de la lógica proposicional como de la de primer orden. Para ambas se consideran distintos cálculos y procedimientos de decisión. En el plan de la asignatura se encuentra más información.


Novedades

  • 11-Sep-06:
    • Se han publicado las notas del examen del 5 de Septiembre en el tablón de anuncios y en la Red.
    • Pueden consultarse en la Red las soluciones del examen.
    • La revisión de exámenes se realizará en el despacho del Prof. José A. Alonso el martes 12 y el miércoles 13 de Septiembre de 12:00 a 14:00.

Material para el curso

Temas Transparencias de los temas y ejercicios.
Prácticas Clases de laboratorio.
Documentación Enlaces con documentación.
Sistemas Sistemas utilizados.
Exámenes Exámenes de cursos anteriores.

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]

Universidad de Sevilla
Creative Commons License
Esta obra está bajo una licencia de Creative Commons. er>