Colección Recuerdos: UIB. Ingeniería de Informática de Sistemas. Lógica. Capítulos

En el curso 2009-2010, empecé la carrera universitaria, concretamente la Ingeniería de Informática de Sistemas en la UIB (Universitat de les Illes Balears). Una de las asignaturas que tuvimos fue la de Lógica, una que me gustó mucho en aquel momento. En esta asignatura vimos un total de 7 temas. Hicimos un examen parcial y un examen final, que englobaba todo el curso. Los temas fueron los siguientes:

• Capitol 1: Lògica: conceptes bàsics
• Capitol 2: Llenguatge de la lògica de proposicions
• Capitol 3: Significat de la lògica de proposicions
• Capitol 4: Representació del coneixement amb la lògica de proposicions
• Capitol 5: Llenguatge de la lògica de predicats
• Capitol 6: Significat de la lògica de predicats
• Capitol 7: Representació del coneixement amb la lògica de predicats

Para cada tema que vimos de Lógica, nos entregaron unas fotocopias de ejercicios para practicar. Era la forma de estudiar en clase: estudiar los conceptos básicos y practicarlos in situ. El primer tema fueron los conceptos básicos de la lógica, donde tuvimos que analizar proposiciones y simbolizar las mismas, además de identificar aquellas frases que no fueran proposiciones y que, por tanto, no eran válidas para analizar de forma lógica. Por ejemplo, la frase “Som cavaller, però tu ets el meu escuder.” se simboliza p ^ q. En el segundo tema empezamos a trabajar con la simbología, ya sin importar el significado de las proposiciones. En el tercer tema, trabajamos con el significado de la lógica de las proposiciones, donde tuvimos que trabajar con fórmulas lógicas. El cuarto tema fue analizar conjuntos completos de párrafos de proposiciones, de tal forma que aprendimos a analizar la validez de un argumento. A partir del quinto tema, empezamos a trabajar la lógica de predicados. Inicialmente, vimos la lógica de predicados, que es diferente a la lógica de proposiciones, incluso se podría decir que más compleja, pues aquí entran símbolos de totalidad y existencia. En el tema sexto, trabajamos con el significado de la lógica de predicados, donde tuvimos que trabajar con fórmulas lógicas de predicados. Finalmente, en el séptimo tema, se hizo lo mismo que en el cuarto tema, pero con predicados, es decir, analizar conjuntos de predicados, interpretarlos, simbolizarlos y valorarlos.