Malý prover

Recenze čtenářů

Kniha The Little Prover je přístupným a zábavným úvodem do dokazování tvrzení v softwaru s důrazem na pomoc při dokazování a výpočetní logiku. Recenzenti ocenili její poutavou formu a způsob, jakým postupně rozvíjí náročné koncepty, takže je vhodná pro programátory, kteří chtějí zlepšit své chápání správnosti v softwaru. Vyžaduje však od čtenářů úsilí a předchozí znalosti a někteří považují dokazování teorémů za nudné ze své podstaty.

Přístupný úvod do dokazování tvrzení a výpočetní logiky.

Zábavná a poutavá forma založená na dialogu s vtipy a zasvěcenými odkazy.

(na základě 10 hodnocení čtenářů)

Původní název:

The Little Prover

Obsah knihy:

Úvod do psaní důkazů o počítačových programech, napsaný přístupným stylem otázek a odpovědí, doplněný příklady krok za krokem a jednoduchým pomocníkem pro důkazy. Malý důkazník představuje induktivní důkazy jako způsob určování faktů o počítačových programech.

Je psána přístupným, poutavým stylem otázek a odpovědí, s charakteristickým humorem knihy The Little Schemer (čtvrté vydání, MIT Press). Někdy je nejlepším způsobem, jak se něco naučit, sednout si a udělat to; kniha čtenáře provede krok za krokem příklady ukazujícími, jak psát induktivní důkazy.

The Little Prover předpokládá pouze znalost rekurzivních programů a seznamů (jak je uvedeno v prvních třech kapitolách The Little Schemer ) a používá jen několik termínů nad rámec toho, co začínající programátoři již znají. Součástí knihy je jednoduchý důkazový asistent, který čtenářům usnadňuje práci s knihou, a kompletní řešení každého příkladu.