En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha explicado el uso de Pandora. En la explicación se han usado los ejemplos contenidos en este vídeo.
Con Pandora se ha resuelto los ejercicios 2.5.8, 2.5.12, 2.5.35 y 2.5.36 del libro de ejercicios.
En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la primera relación.
En la clase hoy de Informática de 1º del Grado en Matemáticas se ha explicado cómo transformar definiciones recursivas en otras con programación dinámica y la mejora en eficiencia obtenida con la transformación.
Para la explicación se han elegido 6 ejemplos:
El estudio de cada uno de los ejemplos ha consistido en
Los apuntes correspondientes a la clase son
En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional. Se han estudiado las siguientes reglas:
Las transparencias de esta clase son las 1-12 del tema 2.
Finalmente, se han propuesto la resolución de los ejercicios 2.5.1 a 2.5.36 del Libro de ejercicios
En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la semántica de la lógica proposicional.
En primir lugar, se ha extendido las definiciones semáticas de
fórmulas a conjuntos de fórmulas estudiando los conceptos de modelos de conjuntos de fórmulas, conjuntos consistentes e inconsistentes y consecuencia lógica.
Se ha demostrado la equivalencia de los siguientes problemas
Como aplicación se ha visto la decisión de la corrección de un argumento y la resolución de rompecabezas lógicos.
Las transparencias de esta clase son las páginas 27-34 del tema 1.