Lógica para inteligencia artificial 20/21

Curso 2020/2021

Horarios y Aulas

• Teoría y Prácticas: Martes: 9:00-11:00, Viernes: 11:00-13:00.

Información General

• Grados: Grado en Ciencia de Datos e Inteligencia Artificial
• Curso: Primero.
• Cuatrimestre: Primero.
• Créditos ECTS: 6.
• Ficha de la asignatura

Contenido de la Asignatura

1. Introducción.
2. Lógica Proposicional.
3. Lógica de Primer Orden.
4. Aplicaciones y extensiones de la lógica.

Bibliografía

1. Rautenberg, «A concise introduction tomathematical logic». Springer, 2010
2. Suppes y Hill, «Introducción a la lógica matemática». Reverté, 1986.
3. Smith, «An Introduction to Formal Logic». Cambridge University Press, 2020.