Resultados de aprendizaxe Competencias do título
Conocer y saber aplicar razonamientos basados en lógica proposicional y en la lógica de primer orden. A3
 B9
 C1
Conocer los conceptos fundamentales de la lógica proposicional y saber manejar las reglas de inferencia y equivalencias lógicas para realizar pruebas formales. A3
A13
 B4
B5
B7
 C1
Conocer los conceptos fundamentales de la lógica de predicados y saber manejar las reglas de inferencia y equivalencias lógicas de cuantificación para realizar pruebas formales. A3
A13
 B4
B7
B9
 C1
Comprender los conceptos básicos de la programación lógica y demostrar en qué medida su aplicación favorece el desarrollo de aplicaciones en IA. A14
 B2
B10
 C2
C3
Saber aplicar mecanismos de inferencia para derivar nuevo conocimiento A3
A13
A14
 B2
B4
B5
B7
B9
B10
 C1
C2
C3
Conocer los problemas en los que la lógica tiene ventaja sobre otras técnicas de representación de conocimiento A3
A13
A14
 B2
B4
B5
B7
B9
B10
 C1
C2
C3