I1M2011: Operaciones con el TAD de los polinomios en Haskell

PorJosé A. Alonso

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

PorJosé A. Alonso

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”