|
|
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
| 24 Oct 2025 |
Ya está operativo el acceso a la página de la asignatura con el UVUS. |
| 24 Oct 2025 |
Ya se ha publicado la nota del examen de tercera convocatoria. Se puede consultar en la ficha de alumno. Las calificaciones podrán ser revisadas los días 29 y 30 de octubre, de 9:30 a 13:30. |
Información adicional:
| Profesor: |
Francisco Jesús Martín Mateos |
| Departamento: |
Ciencias de la Computación e Inteligencia Artificial |
| Despacho: |
Escuela Técnica Superior de Ingeniería Informática, E1-66 |
| Tutorías: |
Martes de 11:00 a 14:00 y viernes de 9:00 a 12:00 (De forma online previa cita) |
Francisco J. Martín Mateos
|
