The Little Prover

Recenzie čitateľov

Malý dôkazník poskytuje prístupný a príjemný úvod do dokazovania tvrdení v softvéri s dôrazom na pomoc pri dokazovaní a výpočtovú logiku. Recenzenti ocenili jej pútavý formát a spôsob, akým postupne buduje náročné koncepty, vďaka čomu je vhodná pre programátorov, ktorí chcú zlepšiť svoje chápanie správnosti v softvéri. Od čitateľov si však vyžaduje úsilie a predchádzajúce znalosti a niektorí považujú dokazovanie tvrdení za nudné zo svojej podstaty.

Prístupný úvod do dokazovania tvrdení a výpočtovej logiky.

Zábavná a pútavá forma založená na dialógoch s vtipmi a zasvätenými odkazmi.

(na základe 10 čitateľských recenzií)

Obsah knihy:

Úvod do písania dôkazov o počítačových programoch, napísaný prístupným štýlom otázok a odpovedí, doplnený o príklady krok za krokom a jednoduchého pomocníka pri dôkazoch. Malý dôkazník predstavuje induktívne dôkazy ako spôsob určovania faktov o počítačových programoch.

Je napísaná prístupným, pútavým štýlom otázok a odpovedí, s charakteristickým humorom knihy The Little Schemer (štvrté vydanie, MIT Press). Niekedy je najlepším spôsobom, ako sa niečo naučiť, sadnúť si a urobiť to; kniha vedie čitateľov krok za krokom na príkladoch, ktoré ukazujú, ako písať induktívne dôkazy.

The Little Prover predpokladá len znalosť rekurzívnych programov a zoznamov (ako je uvedené v prvých troch kapitolách The Little Schemer ) a používa len niekoľko pojmov nad rámec toho, čo už začínajúci programátori poznajú. Súčasťou knihy je jednoduchý pomocník pri dokazovaní, ktorý pomáha čitateľom pri práci s knihou, a kompletné riešenia každého príkladu.