Boolean Reasoning: The Logic of Boolean Equations (Logika logických rovníc)

Recenzie čitateľov

Kniha o boolovskej algebre je vysoko cenená pre svoj praktický dôraz, podrobné vysvetlenia a bohaté ilustrácie, ktoré sú prínosom najmä pre čitateľov, ktorí sa zaujímajú o boolovské uvažovanie a zjednodušovanie. V niektorých recenziách sa však spomínajú problémy s čitateľnosťou vloženého textu a vzorcov.

⬤ Praktický dôraz
⬤ dobre napísané
⬤ obsahuje veľa podrobných príkladov
⬤ obsahuje dôkazy základných výsledkov
⬤ prehlbuje pochopenie booleovej algebry
⬤ vysvetľuje pojmy ako Karnaughove mapy
⬤ viaže na príklady programovania.

Niektoré texty a vzorce sú príliš malé na to, aby boli čitateľné.

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

Pôvodný názov:

Boolean Reasoning: The Logic of Boolean Equations

Obsah knihy:

Toto stručné, novo prepracované vydanie je systematickým spracovaním logického myslenia, ktoré spája práce prvých logikov s najnovšími výskumami vrátane doteraz nepublikovaných výsledkov výskumu.

V prospech čitateľov bez formálneho matematického vzdelania sa text začína prehľadom základných matematických pojmov a načrtáva teóriu boolovských algebier na základe Huntingtonovho postulátu. Definuje operátory eliminácie, delenia a expanzie, čím poskytuje ucelený a systematický základ pre následné diskusie o sylogistickom uvažovaní, riešení boolovských rovníc a funkčnej dedukcii.

V celej knihe sa objavujú príklady a úlohy na konci kapitol, mnohé z nich sú prevzaté z konštrukcie pre spínacie systémy. Dve záverečné kapitoly sa zaoberajú aplikáciami, pričom jedna aplikuje booleovské uvažovanie na diagnostické problémy a druhá rozoberá návrh logických obvodov s viacerými výstupmi.