¿Qué conocerá y qué será capaz de hacer el estudiante al finalizar el curso?
Conocer las estructuras matemáticas básicas: el concepto intuitivo de conjunto y las definiciones de otros conceptos básicos derivados (producto cartesiano, relación, función, grafo, árbol, etc.).
Conocer la sintaxis de la lógica de primer orden y su semántica (la relación entre fórmulas y estructuras matemáticas que las satisfacen).
Conocer el concepto de consecuencia lógica y cómo se calcula o comprueba mediante técnicas de derivación.
Comprender el papel de la inducción y de las definiciones recursivas en el uso formal de conjuntos infinitos (definición, demostraciones).
Comprender las definiciones de conceptos derivados, expresadas en términos de fórmulas lógicas (quizá reescritas en lenguaje natural).
Analizar demostraciones informales que puedan encontrarse en esta asignatura u otras, comprobando que tienen un riguroso valor formal (aunque se expresen de forma natural y abreviada).
Aplicar el marco formal estudiado en la resolución de problemas cotidianos, mediante la representación formal de los datos (estructuras, fórmulas lógicas) y el uso de cálculo de derivaciones.
(Anexo) Resultados de aprendizaje, tal y como se especifican en la memoria de la titulación
De los ocho resultados de aprendizaje definidos en la materia, esta asignatura pretende principalmente cuatro (listados de mayor a menor nivel de intensidad):
(RA1) Modelizar problemas sobre estructuras matemáticas básicas y fórmulas
(RA2) Utilizar las técnicas básicas de inferencia para generar o confirmar consecuencias
(RA5) Manejar las técnicas básicas de recuento y calcular probabilidades de sucesos
(RA8) Saber utilizar herramientas informáticas para la consolidación y uso de los conceptos de la materia, en un contexto de trabajo colaborativo.