Lógica informática (2013-14)

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.


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.