|
|
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
| 28 Ene 2026 |
Ya están confirmadas las fechas de los exámenes de evaluación alternativa. El primero será el 17 de marzo y el segundo el 21 de mayo. |
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
|
