LMF2012: Introducción a la lógica matemática

PorJosé A. Alonso

En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha presentado una introducción a la lógica matemática basada en la Introduction to Mathematical Logic de Valentin Goranko.

En la introducción se hace un recorrido por la historia de la lógica matemática resaltando los problemas, métodos y aplicaciones. Se consideran los siguientes períodos:

  • Prehistoria de la lógica.
  • El nacimiento de la lógica matemática.
  • La edad de oro de la lógica matemática.
  • Lógica matemática y ciencias de la computación.

I1M2011: Combinatoria en Haskell (1)

PorJosé A. Alonso

En segunda parte de 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 16ª relación.

El objetivo de esta relación 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.

Además, se estudia dos temas relacionados:

  • Reconocimiento y generación de subconjuntos y
  • El triángulo de Pascal

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Combinatoria en Haskell (1)”