|
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
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 y jueves de 11:00 a 14:00 (De forma online previa cita) |
Francisco J. Martín Mateos
|