Diskrétní matematika pro užitou informatiku

Publikace se zabývá matematickými základy informatiky. Obsahem jsou matematická logika, relační struktury, teorie grafů a teorie konečných automatů. Text je doprovázen řešenými úlohami včetně úloh z aplikací.