Lógica informática (2014-15)

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

  • El examen del Grupo 1 seá el miércoles 14 de enero a las 10:30 en el aula A 2.16.
  • El examen del Grupo 2 seá el miércoles 14 de enero a las 12:40 en el aula A 2.16.

Material para el curso

Temas Transparencias de los temas.
Ejercicios Relaciones de ejercicios.
Documentación Enlaces con documentación.
Sistemas Sistemas utilizados.
Exámenes Exámenes del curso y de cursos anteriores.
Aula virtual Aula virtual en la WebCT.
Diario Descripción diaria de las clases.

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

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