A kis bizonyító

Olvasói vélemények

A The Little Prover közérthető és élvezetes bevezetést nyújt a szoftveres tételbizonyításba, hangsúlyt fektetve a bizonyítássegítésre és a számítási logikára. A recenzensek nagyra értékelték a lebilincselő formátumot és azt, ahogyan fokozatosan építi fel a kihívást jelentő fogalmakat, ami alkalmassá teszi a programozók számára, akik a szoftverek helyességével kapcsolatos ismereteiket szeretnék bővíteni. Ugyanakkor az olvasóktól erőfeszítést és előzetes ismereteket igényel, és egyesek a tételbizonyítást eredendően fárasztónak találják.

Hozzáférhető bevezetés a tételbizonyításba és a számítási logikába.

Szórakoztató és magával ragadó, párbeszédalapú formátum viccekkel és bennfentes utalásokkal.

(10 olvasói vélemény alapján)

Eredeti címe:

The Little Prover

Könyv tartalma:

Bevezetés a számítógépes programokról szóló bizonyítások írásához, közérthető kérdés-felelet stílusban, lépésről-lépésre bemutatott példákkal és egy egyszerű bizonyítási segédlettel. A Kis bizonyító bemutatja az induktív bizonyítást, mint a számítógépes programokkal kapcsolatos tények meghatározásának módját.

Megközelíthető, magával ragadó kérdés-felelet stílusban íródott, a The Little Schemer (negyedik kiadás, MIT Press) jellegzetes humorával. Néha a legjobb módja annak, hogy megtanuljunk valamit, ha leülünk és megcsináljuk; a könyv lépésről lépésre mutatja be az olvasóknak, hogyan írjunk induktív bizonyításokat.

A The Little Prover csak a rekurzív programok és listák ismeretét feltételezi (ahogyan azt a The Little Schemer első három fejezetében bemutattuk ), és csak néhány olyan kifejezést használ, amelyek túlmutatnak azon, amit a kezdő programozók már ismernek. A könyvhöz tartozik egy egyszerű bizonyítási segédlet, amely segíti az olvasót a könyv végigdolgozásában, és minden példa teljes megoldása.