Descripción
Finalmente, puede aprender la teoría de la computación y el diseño de lenguajes de programación de una manera atractiva y práctica. Understanding Computation explica la informática teórica en un contexto que reconocerá, ayudándole a apreciar por qué estas ideas son importantes y cómo pueden influir en su programación diaria.
En lugar de utilizar notación matemática o un lenguaje de programación académico desconocido como Haskell o Lisp, este libro utiliza Ruby de manera reduccionista para presentar semántica formal, teoría de autómatas y programación funcional con el cálculo lambda. Es ideal para programadores versados en lenguajes modernos, con poca o ninguna formación formal en ciencias de la computación.
- Comprender conceptos informáticos fundamentales, como la completitud de Turing en lenguajes
- Descubrir cómo los programas usan la semántica dinámica para comunicar ideas a las máquinas
- Explorar lo que una computadora puede hacer cuando se reduce a sus elementos esenciales
- Aprender cómo las máquinas universales de Turing llevaron a las computadoras de propósito general de hoy en día
- Realizar cálculos complejos, utilizando lenguajes simples y autómatas celulares
- Determinar qué características del lenguaje de programación son esenciales para la computación
- Examinar cómo la detención y la autorreferencia hacen que algunos problemas informáticos sean irresolubles
- Analizar programas mediante la interpretación abstracta y los sistemas de tipos
Autor: Tom Stuart
Editorial: O'Reilly Media
Publicado: 18/06/2013
Páginas: 332
Tipo de encuadernación: Tapa blanda
Peso: 1.17 libras
Tamaño: 9.03h x 7.03w x 0.77d
ISBN13: 9781449329273
ISBN10: 1449329276
Categorías BISAC:
- Informática | Programación | General
- Informática | Desarrollo e Ingeniería de Software | General
- Informática | Lenguajes | General
Sobre el Autor
Tom es un informático y programador, y el fundador de Codon, una consultora de productos digitales en Londres. Trabaja como consultor, mentor y capacitador, ayudando a las empresas a mejorar la calidad y claridad de su enfoque para crear productos de software, generalmente en la web. Ha dado conferencias sobre optimización de compiladores en la Universidad de Cambridge, coorganiza la conferencia Ruby Manor y es miembro del London Ruby User Group.