Logické systémy

Bokr, Behr, Jáneš

                           Kniha Logické systémy zavádí nově logický objekt, který se vyšetřuje na třech rozlišovacích úrovních. Obsahuje nezbytné partie z diskrétní matematiky, podrobněji se zabývá regulárními událostmi rozpoznávanými objektem a minimalizací počtu jeho stavů. Zvýšená pozornost je v knize věnována divizi, kompozici a dekompozici logického objektu. Těžištěm publikace je návrh strukturních modelů binárních (včetně nutného aparátu nad soustavami boolovských funkcí), jejich diagnostikování a robustnost kódování stavů a ošetřování všech typů hazardů, a to jak v objektech kombinačních tak sekvenčních. Text je ve všech kapitolách doplňován četnými názornými příklady.