Estadísticas del PDF: Parte II: Programación Funcional - Técnicas Básicas de la Programación funcional (usando Haskell)

Parte II: Programación Funcional

Técnicas Básicas de la Programación funcional (usando Haskell)

P. Julián-Iranzo

Universidad de Castilla-La Mancha

Programación Declarativa

versión Abril 2014

P. Julián (UCLM)

PROGRAMACI ÓN DECLARATIVA.

ver. Abril 2014

1 / 71

Índice

1 Objetivo

2 Concepto matemático de función

3 Funciones y programación funcional

4 Tipos

5 Definiciones

6 Definiciones recursivas, principio de inducción y propiedades de

programas

P. Julián (UCLM)

PROGRAMACI ÓN DECLA...