Ambos textos abordan la esencia de la programación y sus implicaciones filosóficas, destacando la creatividad inherente a esta disciplina.
La esencia de la informática: Un enfoque axiomático
por Friedrich L. Bauer · 1982
Ver sugerenciasSinopsis
Un tratado que aborda las bases teóricas de la informática, centrándose en la programabilidad, la verificación formal y los límites de la computación, con un énfasis en los métodos axiomáticos y la lógica matemática.
Sé el primero en valorar este libro.
Más de Friedrich L. Bauer
Ver autor →Otras obras del mismo autor en el catálogo
La arquitectura del software: Una perspectiva sobre el diseño de sistemas complejos
1968
La construcción de software: un arte
1969
La estructura de los lenguajes de programación
1974
The Algorithmic Language ALGOL 68
1976
El Pensamiento Computacional y la Naturaleza del Software
1976
Die programmiertechnische Entwicklung von Algorithmen
1977
Program Verification
1979
Algorithmics
1980
Compiler Construction
1980
Programmierung mit Pascal
1981
Foundations of Logic Programming
1981
La Programación: El Último Oficio Humano
1982
Numerical Algorithms and Computer Programming
1983
Introduction to Compiler Design
1990
Theoretical Computer Science
1993
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora a fondo la lógica matemática y la teoría de la computación, pilares fundamentales que sustentan la argumentación de Bauer sobre la informática.
Shoenfield expone los límites de la computación a través de un enfoque rigorosamente lógico, alineándose con los fundamentos teóricos del libro de Bauer.
Bauer profundiza en la estructura formal de los lenguajes, un tema que complementa su análisis sobre la programabilidad y verificación presente en su obra.
El ensayo analiza la rigurosidad matemática en el diseño de software, que resuena con los métodos axiomáticos discutidos en la esencia de la informática.