Teaching GuideTerm Faculty of Computer Science |
Grao en Intelixencia Artificial |
Subjects |
Logic |
Learning aims |
Identifying Data | 2022/23 | |||||||||||||
Subject | Logic | Code | 614G03016 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 2nd four-month period |
First | Basic training | 6 | ||||||||||
|
Learning outcomes | Study programme competences | ||
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 |
|