Computación y programación funcional. Camilo Chacón Sartori

ng>COMPUTACIÓN Y PROGRAMACIÓN FUNCIONAL

      Introducción al cálculo lambda y la programación funcional usando Racket y Python

       Camilo Chacón Sartori

       COMPUTACIÓN Y PROGRAMACIÓN FUNCIONAL

      Introducción al cálculo lambda y la programación funcional usando Racket y Python

       Camilo Chacón Sartori

       Computación y programación funcional

      Primera edición, 2021

      © 2021 Camilo Chacón Sartori

      © 2021 MARCOMBO, S. L.

       www.marcombo.com

      Diseño de cubierta: ENEDENÚ DISEÑO GRÁFICO

      Corrección: Manel Fernández y Haizea Beitia

      Maquetación: D. Márquez

      Directora de producción: M.^a Rosa Castillo

      «Cualquier forma de reproducción, distribución, comunicación pública o transformación de esta obra solo puede ser realizada con la autorización de sus titulares, salvo excepción prevista por la ley. Diríjase a CEDRO (Centro Español de Derechos Reprográficos, www.cedro.org) si necesita fotocopiar o escanear algún fragmento de esta obra».

      ISBN: 78-84-26732-84-2

      Producción del ePub: booqlab

      A mi padre y mi abuelo, José Chacón y Carlos Sartori

       ÍNDICE

       Prólogo

       Acerca del libro

       PARTE I INTRODUCCIÓN A LA COMPUTACIÓN Y LA PROGRAMACIÓN

       Capítulo 1. ¿Qué es la computación?

       1.1 Modelos de computación

       1.1.1 Máquina de Turing

       1.1.2 Cálculo lambda

       1.1.3 Otros

       1.2 Tesis de Church-Turing

       1.2.1 Implicaciones filosóficas

       1.3 Filosofía de la ciencia de la computación

       Capítulo 2. ¿Qué es la programación?

       2.1 Algoritmos

       2.2 Especificación

       2.2.1 Verificación formal

       2.2.2 ¿Pensar antes de programar?

       2.3 Implementación

       Capítulo 3. Lenguajes de programación

       3.1 Características de los lenguajes de programación

       3.2 Paradigmas clásicos de la programación

       3.2.1 Programación imperativa

       3.2.2 Programación orientada a objetos

       3.2.3 Programación lógica

       3.2.4 Programación funcional

       PARTE II CÁLCULO LAMBDA

       Capítulo 4. ¿Qué es el cálculo lambda?

       4.1 Historia

       4.2 Sintaxis

       4.2.1 Notación Backus-Naur extendida

       4.2.2 Cálculo lambda

       Capítulo 5. Operadores y variables

       5.1 Operadores

       5.1.1 Abstracción

       5.1.2 Aplicación

       5.2 Variables

       5.2.1 Bound

       5.2.2 Free

       Capítulo 6. Reducción

       6.1 Reducción alfa (α)

       6.2 Reducción beta (β)

       6.2.1 Reglas

       6.2.2