LI2011-12: Formas normales de Skolem y cláusulas

En la clase de hoy del curso Lógica Informática se estudiado cómo se puede diseñar un procedimiento de forma que dada una fórmula F obtenga otra sin cuantificadores G que sea equisatisfacible (es decir, que G es satisfacible precisamente si lo es F). Con dicho procedimiento se calcula la forma normal de Skolem. A partir de las formas se Skolem se obtienen las formas clausales.

Las transparencias de esta clase son las del tema 9
Read More “LI2011-12: Formas normales de Skolem y cláusulas”

I1M2011: Ejercicios sobre funciones de orden superior y plegados

La clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de ejercicios de la 3ª y 4ª parte de la 9ª relación y los 2 primeros de la 10ª relación

La 3ª parte contiene ejercicios sobre funciones de orden superior. En concreto, se estudian funciones para calcular

  • el segmento inicial cuyos elementos verifican una propiedad y
  • el complementario del segmento inicial cuyos elementos verifican una propiedad.

La 4ª parte contiene ejercicios sobre definiciones mediante map, filter y plegado. En concreto, se estudian funciones para calcular

  • la lista de los valores de los elementos que cumplen una propiedad,
  • la concatenación de una lista de listas,
  • la redefinición de la función map y
  • la redefinición de la función filter.

La 10ª relación contiene ejercicios con definiciones mediante
plegado. En concreto, se estudian definiciones por plegado para
calcular

  • el máximo elemento de una lista,
  • el mínimo elemento de una lista,

Estos ejercicios corresponden al tema 7.

Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Ejercicios sobre funciones de orden superior y plegados”