Mathematics for Computer Science
Ez a könyv az informatika és a mérnöki tudományok számára készült elemi diszkrét matematikát tartalmazza.
Hangsúlyt fektet a matematikai definíciókra és bizonyításokra, valamint az alkalmazható módszerekre. A témakörök között szerepel a formális logikai jelölés, bizonyítási módszerek; indukció, jól-rendezés; halmazok, relációk; elemi gráfelmélet; egész számok kongruenciái; aszimptotikus jelölés és függvények növekedése; permutációk és kombinációk, számlálási elvek; diszkrét valószínűség.
További kiválasztott témák is tárgyalhatók, mint például rekurzív definíció és strukturális indukció; állapotgépek és invariánsok; rekurrenciák; generáló függvények. A könyv színes képeit és szövegét szürkeárnyalatosra konvertáltuk.
