|
|
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
| 6 Abr 2026 |
Ya se ha publicado la nota de la primera prueba de evaluación continua. Se puede consultar en la ficha de alumno. |
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
|
