The Reasoned Schemer
por Daniel P. Friedman, Oleg Kiselyov, Sven E. Panitz · 2005
Sinopsis
Una introducción al paradigma de la programación lógica, utilizando el lenguaje Scheme. Explora conceptos como la unificación, la búsqueda y la satisfacción de restricciones, presentando la programación como una forma de razonamiento formal.
Sé el primero en valorar este libro.
Más de Daniel P. Friedman
Ver autor →Otras obras del mismo autor en el catálogo
The Little Schemer
1974
The Little Lisper
1984
Structure and Interpretation of Computer Programs
1985
Abstracción y Estructura en Programación
1989
Essentials of Programming Languages
1992
The Seasoned Schemer
1996
Essentials of Programming Languages
1997
Programming Languages: Application and Interpretation
2001
The Little Prover
2001
The Little MLer
2003
Little Schemer 2.0
2007
The Little JavaScripter
2011
The Reasoned Schemer
2017
Libros similares
Libros relacionados según distintos criterios de búsqueda