El pequeño probador

Opiniones de los lectores

The Little Prover ofrece una introducción accesible y amena a la demostración de teoremas en software, haciendo hincapié en la ayuda a la demostración y la lógica computacional. Los revisores apreciaron su formato atractivo y la forma en que construye gradualmente conceptos difíciles, por lo que es adecuado para los programadores que buscan mejorar su comprensión de la corrección en el software. Sin embargo, requiere esfuerzo y conocimientos previos por parte de los lectores, y algunos encuentran la demostración de teoremas intrínsecamente tediosa.

Introducción accesible a la demostración de teoremas y a la lógica computacional.

Formato ameno y atractivo basado en diálogos con chistes y referencias.

(basado en 10 opiniones de lectores)

Título original:

The Little Prover

Contenido del libro:

Una introducción a la escritura de pruebas sobre programas informáticos, escrita en un estilo accesible de preguntas y respuestas, con ejemplos paso a paso y un sencillo asistente de pruebas. The Little Prover presenta las pruebas inductivas como una forma de determinar hechos sobre programas informáticos.

Está escrito en un estilo accesible y atractivo de preguntas y respuestas, con el humor característico de The Little Schemer (cuarta edición, MIT Press). A veces la mejor manera de aprender algo es sentarse y hacerlo; el libro lleva a los lectores a través de ejemplos paso a paso que muestran cómo escribir pruebas inductivas.

The Little Prover sólo asume conocimientos de programas recursivos y listas (como se presenta en los tres primeros capítulos de The Little Schemer ) y utiliza sólo unos pocos términos más allá de lo que los programadores novatos ya conocen. El libro viene con un sencillo asistente de demostración para ayudar a los lectores a trabajar a través del libro y soluciones completas para cada ejemplo.