De la Matemática a la Programación Genérica- Alexander A. Stepanov

En este libro sustantivo y accesible, el diseñador de software pionero Alexander Stepanov y su colega Daniel Rose iluminan los principios de la programación genérica y el concepto matemático de abstracción en el que se basa, ayudándole a escribir un código que es más simple y más potente. Si eres un programador razonablemente competente que puede pensar lógicamente, tienes todo el fondo que necesitarás. Stepanov y Rose introducen la álgebra abstracta relevante y la teoría numérica con una claridad excepcional. Explican cuidadosamente los problemas que los matemáticos primero necesitaban resolver y luego muestran cómo estas soluciones matemáticas se traducen en la programación genérica y en la creación de un código más efectivo y elegante. Para demostrar el papel crucial que juegan estos principios matemáticos en muchas aplicaciones modernas, los autores muestran cómo usar estos resultados y algoritmos generalizados para implementar un criptosistema de clave pública del mundo real. Al leer este libro, dominará los procesos de pensamiento necesarios para una programación eficaz y aprenderá a generalizar algoritmos estrechamente concebidos para ampliar su utilidad sin perder eficiencia. También obtendrá una visión profunda del valor de las matemáticas para la comprensión de la programación que resultará invaluable sin importar los lenguajes de programación y los paradigmas que use. Aprenderá cómo generalizar un algoritmo de cuatro mil años, demostrando lecciones imprescindibles acerca de la claridad y la eficiencia. Las paradojas antiguas, los teoremas hermosos y la tensión productiva entre lo continuo y lo discreto. Un algoritmo sencillo para encontrar el mayor divisor común (GCD) y abstracciones modernas Que se basan en él Poderosos enfoques matemáticos de la abstracción Cómo el álgebra abstracta proporciona la idea en el centro de la programación genérica Axiomas, pruebas, teorías y modelos: utilizando técnicas matemáticas para organizar el conocimiento sobre sus algoritmos y estructuras de datos Sutilezas sorprendentes de tareas de programación sencillas y qué Usted puede aprender de ellos ¿Cómo implementaciones prácticas pueden explotar los conocimientos teóricos Alexander A. Stepanov ha sido la programación desde 1972-primero en la Unión Soviética y, desde su emigración en 1977, en los Estados Unidos. Ha programado sistemas operativos, herramientas de programación, compiladores y bibliotecas. Su trabajo sobre los fundamentos de la programación ha sido apoyado por GE, la Universidad Politécnica, Bell Labs, HP, SGI, Adobe y, desde 2009, A9.com, subsidiaria de búsqueda de Amazon. En 1995 recibió el Premio a la Excelencia en Programación del Dr. Dobbs Journal por el diseño de la Biblioteca de Plantillas Estándar C ++. Daniel E. Rose es un científico investigador que ha ocupado puestos directivos en Apple, AltaVista, Xigo, Yahoo y A9.com. Su investigación se centra en todos los aspectos de la búsqueda, que van desde algoritmos de bajo nivel para la compresión de índices a la interacción hombre-computadora. Rose lideró el equipo de Apple que creó la búsqueda de escritorio para Mac. Tiene un Ph.D. En ciencias cognitivas y ciencias de la computación de la Universidad de California, San Diego, y un B.A. En filosofía de Harvard.