Este libro ofrece una introducción a los conceptos fundamentales de los lenguajes de programación, enfocándose en la descripción y comprensión del diseño de lenguajes y su implementación a través de un enfoque formal y matemático.
DG
DG
David Gries
estadounidense
David Gries es un destacado científico y educador en el campo de la informática, conocido por sus contribuciones a la programación y la enseñanza de la ciencia de la computación. Es autor de varios libros de texto influyentes que han moldeado la educación en programación y lenguajes de programación.
Obras en el archivo
9 títulos
The Science of Programming
1981·ensayo
Este libro presenta un enfoque formal y matemático para el desarrollo de programas, tratando la programación como una disciplina científica con rigor y deducción lógica.
La ciencia de la programación
1981·divulgacion
Este libro presenta un enfoque formal y matemático para la construcción de programas, centrándose en la derivación de algoritmos correctos a partir de especificaciones, utilizando lógica y cálculo de predicados.
Este libro es una introducción extensa y detallada a la programación utilizando el lenguaje Modula-2, abarcando conceptos fundamentales y técnicas de programación en un entorno bien estructurado.
Este libro ofrece un enfoque lógico y estructurado al estudio de las matemáticas discretas, con el objetivo de ayudar a los estudiantes a desarrollar habilidades de pensamiento crítico y resolución de problemas en el contexto de la informática.
Autores relacionados
Aparecen junto a David Gries en búsquedas del archivo