LMF2019: Deducción natural en lógica de primer orden (1/2)

PorJosé A. Alonso

En la clase de hoy del curso Lógica matemática y fundamentos se presentado la ampliación del cálculo de deducción natural proposional para tratar los cuantificadores.

Las transparencias de esta clase son las páginas 1 a 13 del tema 4.

Descargar (PDF, 168KB)

A la vez que se han ido haciendo las demostraciones se ha explicado cómo hacerlas en Isabelle/HOL.

La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural en lógica de primer orden (1/2)”

Resumen de lecturas compartidas del 1 al 7 de marzo de 2020

PorJosé A. Alonso

Esta entrada es una recopilación de lecturas compartidas, del 1 al 7 de marzo, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.

Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.

Una recopilación de todas las lecturas compartidas se encuentra en GitHub.

Read More “Resumen de lecturas compartidas del 1 al 7 de marzo de 2020”

I1M2019: Combinatoria en Haskell

PorJosé A. Alonso

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 relación 21 cuyo objetivo es estudiar la generación y el número de las principales operaciones de la combinatoria. En concreto, se estudia

  • Permutaciones.
  • Combinaciones sin repetición.
  • Combinaciones con repetición
  • Variaciones sin repetición.
  • Variaciones con repetición.

Los ejercicios, y sus soluciones, de la primera parte se muestran a continuación.
Read More “I1M2019: Combinatoria en Haskell”