Mathematics for Computer Science
Táto kniha sa zaoberá základnou diskrétnou matematikou pre informatiku a inžinierstvo.
Kladie dôraz na matematické definície a dôkazy, ako aj na aplikovateľné metódy. Témy zahŕňajú zápis formálnej logiky, metódy dokazovania, indukciu, usporiadanie, množiny, vzťahy, elementárnu teóriu grafov, celočíselné kongruencie, asymptotický zápis a rast funkcií, permutácie a kombinácie, princípy počítania, diskrétnu pravdepodobnosť.
Môžu sa preberať aj ďalšie vybrané témy, ako napríklad rekurzívna definícia a štrukturálna indukcia; stavové stroje a invarianty; rekurencie; generujúce funkcie. Farebné obrázky a text v tejto knihe boli prevedené do odtieňov sivej.
