Il Piccolo Prover

Recensioni dei lettori

The Little Prover fornisce un'introduzione accessibile e piacevole alla dimostrazione di teoremi nel software, ponendo l'accento sull'assistenza alla dimostrazione e sulla logica computazionale. I recensori hanno apprezzato il suo formato accattivante e il modo in cui costruisce gradualmente concetti impegnativi, rendendolo adatto ai programmatori che vogliono migliorare la loro comprensione della correttezza nel software. Tuttavia, richiede uno sforzo e delle conoscenze preliminari da parte dei lettori, e alcuni trovano la dimostrazione dei teoremi intrinsecamente noiosa.

Introduzione accessibile alla dimostrazione dei teoremi e alla logica computazionale.

Formato divertente e coinvolgente basato sul dialogo, con battute e riferimenti agli addetti ai lavori.

(basato su 10 recensioni dei lettori)

Titolo originale:

The Little Prover

Contenuto del libro:

Un'introduzione alla scrittura di prove sui programmi per computer, scritta in uno stile accessibile di domande e risposte, completa di esempi passo dopo passo e di un semplice assistente di prova. Il Piccolo Prover introduce le prove induttive come metodo per determinare i fatti sui programmi per computer.

È scritto in uno stile accattivante e coinvolgente di domande e risposte, con il caratteristico umorismo di The Little Schemer (quarta edizione, MIT Press). A volte il modo migliore per imparare qualcosa è sedersi e farlo; il libro accompagna i lettori attraverso esempi passo-passo che mostrano come scrivere prove induttive.

The Little Prover presuppone solo la conoscenza dei programmi ricorsivi e delle liste (come presentati nei primi tre capitoli di The Little Schemer) e utilizza solo pochi termini oltre a quelli che i programmatori alle prime armi già conoscono. Il libro è corredato da un semplice assistente di dimostrazione per aiutare i lettori a lavorare attraverso il libro e da soluzioni complete per ogni esempio.