2. vydání
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í. Oproti 1. vydání je text jednotlivých kapitol obohacen o odstavec s názvem Otázky k sebehodnocení a odstavec Úlohy, sloužící k procvičení látky.