LMF2018: Deducción natural proposicional (2)

En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la deducción natural en la lógica proposicional.
Se han estudiado las siguientes reglas:

  • Regla de copia
  • Reglas de la negación
  • Reglas del bicondicional
  • Regla del modus tollens
  • Regla de introducción de doble negación
  • Regla de reducción al absurdo
  • Ley del tercio excluido

Las transparencias correspondientes son las 13-28 del tema 2.

En la segunda parte se ha estudiado cómo formalizar demostraciones en Isabelle/HOL.

La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2018: Deducción natural proposicional (2)”

I1M2018: Cálculo simbólico con Maxima

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha mostrado el uso de Maxima como sistema de cálculo simbólico.

La presentación se ha realizado como una serie de relaciones de ejercicios resueltos. En concreto,

Finalmente se ha comentado la bibliografía disponible en la página de la asignatura:

I1M2018: Programación dinámica en Haskell

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:

  • Los números de Fibonacci
  • Coeficientes binomiales
  • Longitud de la subsecuencia común máxima
  • Subsecuencia común máxima
  • Distancia de Levenshtein

El estudio de cada uno de los ejemplos ha consistido en

  • Enunciar el problema
  • Definir una solución por recursión.
  • Transformar la definición recursiva en otra con programación dinámica.
  • Comparar experimentalmente la eficencia de las dos definiciones.

Los apuntes correspondientes a la clase son