Resultados de aprendizaxe Competencias / Resultados do título
Conocer y saber aplicar razonaminetos 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