COMPETENCIAS GENERALES Y TRANSVERSALES:
CGB3: Capacidad para comprender y dominar los conceptos básicos de la lógica, algorítmica y su aplicación para la resolución de problemas propios de la ingeniería.
COMPETENCIAS ESPECÍFICAS DE LA MATERIA:
- Cognitivas
1. Conocer la lógica de primer orden, realizar demostraciones y deducciones, comprender los fundamentos de las aplicaciones a la computación y la utilización de sistemas automáticos de deducción
- Procedimental/Instrumental
2. Los estudiantes contrastarán los distintos métodos de resolución, así como sus ventajas y desventajas
3. Los estudiantes deberan aplicar las técnicas adecuadas para cada problema propuesto
- Actitudinal
4. Los estudiantes harán los trabajos en equipo
5. Los estudiantes usarán herramientas de lógica computacional
6. Los estudiantes harán un examen final escrito