|
|
Descripción
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 proyecto docente de la asignatura se
puede encontrar una información más detallada.
Material para el curso
Anuncios
| 22 Jun 2026 |
Ya se ha publicado la nota del examen de primera convocatoria. Se puede consultar en la ficha de alumno. En algunos casos, la nota final tiene un incremento de hasta 1 punto en acta, como recompensa por utilizar con éxito las dos técnicas de demostración (aplicativa y declarativa) en los ejercicios de los exámenes. Las calificaciones podrán ser revisadas los días 23, 24 y 25 de junio, de 9:00 a 13:00, previa solicitud por correo electrónico a fjesus@us.es |
Información adicional:
| Grupo 1 |
| Profesor: |
Francisco Jesús Martín Mateos |
| Despacho: |
Escuela Técnica Superior de Ingeniería Informática, E1.66 |
| Tutorías: |
Martes de 9:00 a 12:00 y viernes de 11:00 a 14:00 (Contactar
previamente por correo electrónico) |
| Grupo 2 |
| Profesor: |
Francisco Félix Lara Martín |
| Despacho: |
Escuela Técnica Superior de Ingeniería Informática, H1.45 |
| Tutorías: |
Lunes y miércoles de 10:30 a 13:30 (Contactar
previamente por correo electrónico) |
Francisco J. Martín Mateos,
F. Félix Lara Martín
|
