I1M2011: Resolución de problemas matemáticos con Haskell

La clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los 6 primeros ejercicios de la 12ª relación en la que se plantea la resolución de distintos problemas matemáticos. En concreto,

  • el problema de Ullman sobre la existencia de subconjunto del tamaño dado y con su suma acotada,
  • las descomposiciones de un número como suma de dos cuadrados,
  • el problema 145 del proyecto Euler,
  • el grafo de una función sobre los elementos que cumplen una propiedad,
  • los números semiperfectos,

Además, de los 2 primeros se presentan distintas definiciones y se compara su eficiencia.

Estos ejercicios corresponden a los temas 5, 6 y 7.

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Resolución de problemas matemáticos con Haskell”

LI2011-12: Ejercicios de lógica de primer orden (2)

La clase de hoy del curso Lógica Informática ha consistido en la resolución de ejercicios de la lógica de primer orden. Los ejercicios corresponden al capítulo 11 del libro de ejercicios.

Los ejercicios resueltos son los siguientes:

  • 13.1 y 13.3: Decidir si dos términos son unificables, y en su caso calcular un unificador de máxima generalidad.
  • 14.1: Demostrar la validez de una fórmula por resolución, tableros semánticos y deducción natural.
  • 14.2: Decidir por resolución la validez de una fórmula.
  • 29: Dado un programa lógico y una pregunta, calcular las respuestas.
  • 23: Formalizar un argumento y decidir su validez.