Hodnocení:
Kniha je oceňována pro svůj komplexní a poutavý přístup k výuce matematické logiky s kombinací hádanek a vzdělávacího obsahu. Někteří čtenáři ji však považují za náročnou, zejména pro začátečníky, a upozorňují na problémy s formátováním vydání pro Kindle a na některé překlepy.
Klady:⬤ Komplexní a přehledný průvodce matematickou logikou.
⬤ Poutavý styl výuky, který kombinuje zábavu se vzděláváním.
⬤ Obsahuje jedinečná témata a důkazová cvičení pro lepší pochopení.
⬤ Vhodné jako příručka pro začátečníky i pokročilé čtenáře.
⬤ Vysoce kvalitní řešení problémů v kapitolách.
⬤ Někteří ji považují za obtížnou pro začátečníky nebo ty, kteří nemají předchozí znalosti logiky.
⬤ Verze pro Kindle má chyby ve formátování, které brání čtení.
⬤ Některá cvičení vyžadují pojmy, které jsou představeny až v pozdějších částech textu.
⬤ Přítomnost různých překlepů v celé knize.
(na základě 32 hodnocení čtenářů)
A Beginner's Guide to Mathematical Logic
Tento úvodní text napsaný tvůrčím mistrem matematické logiky kombinuje příběhy velkých filozofů, citáty a hádanky se základy matematické logiky. Autor Raymond Smullyan nabízí jasné, postupné prezentace obtížných logických pojmů.
Každé téma podtrhuje nápaditým výkladem a jedinečnými problémy. Smullyanovo přístupné vyprávění poskytuje zapamatovatelné příklady pojmů souvisejících s důkazy, výrokovou logikou a logikou prvního řádu, větami o neúplnosti a důkazy neúplnosti. Mezi další témata patří nerozhodnutelnost, kombinatorická logika a teorie rekurze.
Kniha je vhodná pro bakalářské a magisterské kurzy a zároveň pobaví a poučí matematicky zaměřené čtenáře. Vydání z roku 2014.
