Boolean Reasoning: Logika równań boolowskich

Opinie czytelników

Książka na temat algebry Boole'a jest wysoko ceniona za praktyczny nacisk, szczegółowe wyjaśnienia i bogate ilustracje, które przynoszą korzyści czytelnikom, szczególnie tym zainteresowanym rozumowaniem Boole'a i upraszczaniem. Niektóre recenzje wspominają jednak o problemach z czytelnością wstawionego tekstu i formuł.

⬤ Praktyczny nacisk
⬤ dobrze napisana
⬤ zawiera wiele szczegółowych przykładów
⬤ zawiera dowody podstawowych wyników
⬤ pogłębia zrozumienie algebry Boole'a
⬤ wyjaśnia pojęcia takie jak mapy Karnaugha
⬤ zawiera przykłady programowania.

Niektóre teksty i formuły są zbyt małe, by były czytelne.

(na podstawie 9 opinii czytelników)

Oryginalny tytuł:

Boolean Reasoning: The Logic of Boolean Equations

Zawartość książki:

To zwięzłe, niedawno poprawione wydanie systematycznie traktuje o rozumowaniu boolowskim, łącząc prace wczesnych logików z najnowszymi badaniami, w tym z wcześniej niepublikowanymi wynikami badań.

Z korzyścią dla czytelników bez formalnego wykształcenia matematycznego, tekst rozpoczyna się od przeglądu podstawowych pojęć matematycznych i nakreśla teorię algebr boolowskich, opartą na postulacie Huntingtona. Definiuje operatory eliminacji, dzielenia i rozszerzania, zapewniając spójną i systematyczną podstawę do późniejszych dyskusji na temat rozumowania sylogistycznego, rozwiązywania równań boolowskich i dedukcji funkcjonalnej.

Przykłady i problemy na końcu rozdziału pojawiają się w całej książce, wiele z nich pochodzi z projektowania systemów przełączających. Dwa końcowe rozdziały dotyczą zastosowań: jeden stosuje rozumowanie boolowskie do problemów diagnostycznych, a drugi omawia projektowanie układów logicznych z wieloma wyjściami.