Descripción
The Little Prover introduce 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 guía a los lectores a través de ejemplos paso a paso que muestran cómo escribir pruebas inductivas. The Little Prover asume solo el conocimiento de programas recursivos y listas (tal como se presentan en los primeros tres capítulos de The Little Schemer) y utiliza solo unos pocos términos más allá de lo que los programadores novatos ya saben. El libro viene con un asistente de pruebas simple para ayudar a los lectores a trabajar con el libro y soluciones completas para cada ejemplo.
Autor: Daniel P. Friedman, Carl Eastlund
Editorial: MIT Press
Publicado: 07/10/2015
Páginas: 248
Tipo de encuadernación: Tapa blanda
Peso: 1.05 libras
Tamaño: 8.90 alto x 6.90 ancho x 0.50 profundidad
ISBN13: 9780262527958
ISBN10: 0262527952
Categorías BISAC:
- Matemáticas | Lógica
- Informática | Programación | General
Acerca del autor
Daniel P. Friedman es profesor de Ciencias de la Computación en la Escuela de Informática, Computación e Ingeniería de la Universidad de Indiana y es autor de muchos libros publicados por MIT Press, incluidos The Little Schemer y The Seasoned Schemer (con Matthias Felleisen); The Little Prover (con Carl Eastlund); y The Reasoned Schemer (con William E. Byrd, Oleg Kiselyov y Jason Hemann).