En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios de lógica de primer orden. Concretamente,
En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la relación 31 sobre el tipo de datos abstracto de las pilas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2017: Ejercicios con el tipo abstracto de dato de las pilas”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado, basándonos en Over 130 practical recipes for data analysis and machine learning, cómo se puede usar Haskell en ciencias del dato.
Se ha comentado los puntos fundamentales del proceso: lecturas de datos, su procesamiento y la visualización y exportación de los resultados.
Se ha comentado algunas de las recetas que recoge temas que ya hemos estudiado o suponen pequeñas ampliaciones:
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos seguido comentando cómo se puede usar emacs como
Como soporte se ha usado los apuntes de
En la clase de hoy del curso Lógica matemática y fundamentos se ha presentado un nuevo sistema deductivo: los tableros semánticos.
Hemos visto cómo los problemas de tautología y de consecuencia lógica se reducen a problemas de consistencia:
Por tanto, para resolver ambos problemas basta con tener un procedimiento sistemático de búsqueda de modelos. Uno de dichos procedimientos es el de tableros semánticos.
Una ventaja de los tableros semánticos frente a la deducción natural es la reducción del número de reglas lo que facilita su automatización.
Además, se ha presentado el sistema Tree Proof Generator que busca automáticamente el tablero semántico correspondiente a la fórmula introducida.
Las transparencias de esta clase son las de las del tema 3 y del tema 9