LI2014: Deducción natural proposicional (2)

PorJosé A. Alonso

En la la clase de hoy del curso de Lógica Informática se ha continuado el estudio de la deducción natural proposicional que se empezó en la clase anterior.

Las reglas que se han visto en la clase son las de la negación, las del bicondicional y las reglas derivadas (modus tollens, introducción de la doble negación, reducción al absurdo y ley del tercio excluso).

Como tarea se ha propuesto la 3ª relación de ejercicios.

Las transparencias de esta clase son las páginas 13-28 del tema 2.
Read More “LI2014: Deducción natural proposicional (2)”

I1M2014: Definiciones por comprensión

PorJosé A. Alonso

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:

  • listas con un generador,
  • listas con varios generadores,
  • listas con generadores dependientes,
  • listas con guardas,
  • listas con guardas e igualdad y
  • emparejamiento de listas con zip.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 3ª relación.

Las transparencias usadas en la clase son las comprendidas entre las páginas 1 y 13 del tema 5.
Read More “I1M2014: Definiciones por comprensión”