Clase 07/04/2013.

Comisión 1 (Docente: Pedro Sánchez Terraf)

Definición de Funciones

Planteamos los siguientes problemas extra de definición de funciones:

  1. expandir : String → String, pone espacios entre cada letra de una palabra.
    Ejemplo:
    expandir.“hola” = “h o l a” (¡sin espacio al final!)

  2. buscar : String → [String] → [String], que dado un prefijo y un diccionario, muestra las palabras que comienzan con ese prefijo.
    Ejemplo: buscar.“cu”.[“papel”, “culto”, “culpa”] = [“culto”, “culpa”]

  3. Implementar en Haskell el problema pensado por cada uno en la primera clase.

Lógica Proposicional.

Lectura recomendada: Capítulo 3, pp.15-27 de la versión digital de “Cálculo de programas”.

Práctico: Ejercicios 7 al 14 de los Ejercicios Seleccionados.