I1M2011: División y factorización de polinomios mediante la regla de Ruffini en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la 25ª relación, cuyos objetivo es implementar la regla de Ruffini y sus aplicaciones utilizando las implementaciones del TAD de polinomio estudiadas en el tema 21.

En los ejercicios se usan las siguientes librerías:

  • PolRepTDA: Implementación de los polinomios mediante tipos de datos algebraicos.
  • PolRepDispersa: Implementación de los polinomios mediante listas dispersas.
  • PolRepDensa: Implementación de los polinomios mediante listas densas.
  • PolOperaciones: Operaciones con el TAD de los polinomios.

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: División y factorización de polinomios mediante la regla de Ruffini en Haskell”

LMF2012: Tableros semánticos en Haskell

En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha comentado las soluciones de los ejercicios sobre la implementación en Haskell de los tableros semánticos.

Las soluciones de los ejercicios se muestran a continuación. En los ejercicios se usa el módulo SintaxisSemantica desarrollado en la clase del día 13 de marzo.
Read More “LMF2012: Tableros semánticos en Haskell”

I1M2011: Operaciones con el TAD de los polinomios en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la implentación en Haskell de las operaciones con los polinomios basadas su TAD estudiado en la clase anterior, utilizando las implementaciones de los polinomios estudiadas en las clases anteriores: mediante tipos algebraicos y listas dispersas o densas.

Las transparencias usadas en la clase son las páginas 43-55 del tema 21:
Read More “I1M2011: Operaciones con el TAD de los polinomios en Haskell”

LMF2012: Aplicaciones de la lógica proposicional con Prover9 y Mace4

En la clase de hoy del curso Lógica matemática y fundamentos hemos visto cómo resolver lógicamente problemas representándolos en la lógica proposicional y usando Prover9/Mace4 para su solución.

Los problemas que se han visto son

  • El problema de los veraces y los mentirosos.
  • El problema de los animales.
  • El problema del coloreado del pentágono.
  • El problema del palomar.
  • El problema de los rectángulos.
  • El problema de las 4 reinas.

Las transparencias utilizadas son las del tema 5b
Read More “LMF2012: Aplicaciones de la lógica proposicional con Prover9 y Mace4”