Ocena:
The Little Prover stanowi przystępne i przyjemne wprowadzenie do dowodzenia twierdzeń w oprogramowaniu, kładąc nacisk na wspomaganie dowodu i logikę obliczeniową. Recenzenci docenili jej angażujący format i sposób, w jaki stopniowo buduje trudne koncepcje, dzięki czemu jest odpowiednia dla programistów, którzy chcą poprawić swoje zrozumienie poprawności oprogramowania. Wymaga jednak wysiłku i wcześniejszej wiedzy od czytelników, a niektórzy uważają, że dowodzenie twierdzeń jest z natury żmudne.
Zalety:Przystępne wprowadzenie do dowodzenia twierdzeń i logiki obliczeniowej.
Wady:Zabawny i wciągający format oparty na dialogach z żartami i odniesieniami.
(na podstawie 10 opinii czytelników)
Wprowadzenie do pisania dowodów dotyczących programów komputerowych, napisane w przystępnym stylu pytań i odpowiedzi, wraz z przykładami krok po kroku i prostym asystentem dowodu. The Little Prover wprowadza dowody indukcyjne jako sposób określania faktów dotyczących programów komputerowych.
Jest napisana w przystępnym, wciągającym stylu pytań i odpowiedzi, z charakterystycznym humorem The Little Schemer (czwarte wydanie, MIT Press). Czasami najlepszym sposobem na nauczenie się czegoś jest usiąść i to zrobić; książka prowadzi czytelników przez przykłady krok po kroku pokazujące, jak pisać dowody indukcyjne.
The Little Prover zakłada jedynie znajomość programów rekurencyjnych i list (przedstawionych w pierwszych trzech rozdziałach The Little Schemer ) i używa tylko kilku terminów wykraczających poza to, co początkujący programiści już znają. Do książki dołączony jest prosty asystent dowodu, który pomaga czytelnikom w pracy nad książką oraz kompletne rozwiązania do każdego przykładu.
