|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Intelixencia Artificial |
 Subjects |
| Logic |
| Methodologies |
| 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 | ||||||||||
|
||||||||||||||
| Methodologies | Description |
| Guest lecture / keynote speech | Se utiliza durante las clases presenciales teóricas para exponer el núcleo básico de conocimientos que componen el curso que luego los alumnos deberán saber utilizar y ampliar en las prácticas y en los trabajos tutelados. |
| Laboratory practice | La primeras sesiones de docencia intercativa se dedicarán a explicar las herramientas que los alumnos deben utilizar para la implementación de sus trabajos prácticos. Los alumnos tendrán que trabajar en distintas prácticas durante el curso, en las que tendrán que utilizar diferentes herramientas para implementar los métodos de razonamiento cuyos conocimientos básicos teóricos han adquirido durante el curso. |
| Seminar | En las horas de tutorías se podrán plantear dudas sobre los conceptos, ejercicios y procedimientos vistos en las sesiones de teoría y prácticas |
| Problem solving | Resolución de ejercicios relacionados con los conceptos impartidos en las clases magistrales. |
| Objective test | Se realizará una prueba al finalizar el cuatrimestre, que versará sobre los contenidos vistos durante el curso. |
|
