|
|
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
| 7 May 2024 |
Ya está confirmada la fecha del segundo examen parcial, el 23 de mayo en horario de clase, en los laboratorios L2, L3 y L4. |
| 1 Abr 2024 |
Se elimina la restricción de obtener un mínimo en cada prueba de evaluación alternativa para hacer media. Se sustituye por la obligatoriedad de presentarse a ambas pruebas. |
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
|
