Trabajo de Lógica Computacional en Enschede (Países Bajos)

PorJosé A. Alonso

El Grupo de métodos formales de la Universidad de Twente ha ofertado 2 plazas para trabajar en Enschede (Países Bajos): PhD and Post Doc position on ERC project Verifcation of Concurrent Data Structures (U. Twente, Netherlands)

El trabajo consistirá en la especificación y verificación de estructuras de datos concurrentes.

Las dos plazas se incriben en el proyecto VerCors (Verification of Concurrent Data Structures) dirigido por Marieke Huisman.

I1M2010: Definiciones por recursión sobre números naturales y listas

PorJosé A. Alonso

Los objetivos de la clase de hoy son:

  • Aprender a desarrollar aplicaciones usando listas de comprensión. Para ello, se ha desarrollado un programa para descifrar mensajes que usen el cifrado de César.
  • Aprender a definir funciones por recursión sobre los números naturales.
  • Aprender a definir funciones por recursión sobre listas.
  • Aprender a definir funciones por recursión sobre listas que necesiten guardas en el caso recursivo.

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

Las transparencias usadas en la clase son las comprendidas entre las páginas 27 y 34 del tema 5 y las 12 primeras del tema 6

Descargar (PDF, 231KB)