I1M2011: Combinatoria en Haskell (2)

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 ejercicios 7 a 12 de la 17ª 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 12 primeros ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Combinatoria en Haskell (2)”

I1M2011: Definición de tipos de datos recursivos en Haskell

PorJosé A. Alonso

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de tipos de datos recursivos y de funciones sobre dichos tipos. Concretamente, se han estudiado las listas y los árboles.

Se ha insistido en la metodología de definición de funciones recursivas sobre tipos de datos escribiendo una ecuación por cada uno de los constructores del tipo de dato.

Las transparencias usadas en la clase son las páginas 17-21 del tema 9:
Read More “I1M2011: Definición de tipos de datos recursivos en Haskell”

LMF2012: Panorama de la lógica. La lógica proposicional como sistema de representación del conocimiento

PorJosé A. Alonso

La clase de hoy del curso Lógica matemática y fundamentos ha tenido tres partes.

En la primera parte se ha presentado un panorama de la lógica en la que se ha visto sus objetivos (representar el conocimiento y automatizar el razonamiento), distintas lógicas (proposicional, primer orden, orden superior y modales) y aplicaciones de la lógica en computación.

En la segunda parte se ha presentado la lógica proposicional como sistema de representación del conocimiento. También se ha presentado el sistema APLI2 que sirve de tutor para el aprendizaje de la representación lógica del conocimiento.

En la tercera parte se ha iniciado el estudio de la sintaxis de la lógica proposicional mostrando cómo se definen las fórmulas por recursión, cómo se definen funciones sobre las fórmulas mediante recursión y cómo se demuestran propiedades de las fórmulas mediante inducción.

Las tareas pendientes son:

  • registrarse en APLI2 y
  • resolver ejercicios de formalización proposicional con APLI2

Las transparencias de esta clase son las páginas 1-10 del tema 1
Read More “LMF2012: Panorama de la lógica. La lógica proposicional como sistema de representación del conocimiento”