The Little Lisper utiliza una narrativa ilustrativa similar a The Little Prover para enseñar conceptos de programación, centrándose en la recursión como herramienta educativa.
The Little Prover
por Daniel P. Friedman, Carl Eastlund · 2015
Ver sugerenciasSinopsis
The Little Prover es un libro que introduce conceptos de programación y matemáticas a través de una historia sobre un niño que usa la lógica y la prueba de teoremas para resolver problemas.
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
1991
Essentials of Programming Languages
1992
Essentials of Programming Languages (EOPL)
1992
The Seasoned Schemer
1995
The Little Schemer
1995
The Seasoned Schemer
1996
Essentials of Programming Languages
1997
Programming Languages: Application and Interpretation
2001
The Little Prover
2001
The Little MLer
2003
Reasoned Schemer
2005
Libros similares
Libros relacionados según distintos criterios de búsqueda
The Little Typer presenta un enfoque lúdico para introducir sistemas de tipos, al igual que The Little Prover usa la lógica para abordar problemas matemáticos.