Matematika pre informatiku

Pôvodný názov:

Mathematics for Computer Science

Obsah knihy:

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.