Lógica Matemática y Fundamentos (2023-24)

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

Temas Apuntes de clase
Ejercicios Ejercicios y Prácticas
Exámenes Exámenes de cursos anteriores
Sistemas Sistemas utilizados en la asignatura
Documentación Enlaces con documentación adicional

Anuncios

9 Jul 2024 Se han publicado las notas del examen de segunda convocatoria. Se pueden consultar en la ficha de alumno, en la sección Personal. También se han publicado las actas provisionales en la Secretaría Virtual. Las calificaciones se podrán revisar los días 10 y 11 de julio, acordando una cita por correo electrónico.

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