|
Guía DocenteCurso Facultade de Informática |
| Grao en Intelixencia Artificial |
 Asignaturas |
| Lóxica |
| Resultados de aprendizaxe |
| Datos Identificativos | 2023/24 | |||||||||||||
| Asignatura | Lóxica | Código | 614G03016 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 2º cuadrimestre |
Primeiro | Formación básica | 6 | ||||||||||
|
||||||||||||||
| 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 |
|
