Matematika az informatikához

Eredeti címe:

Mathematics for Computer Science

Könyv tartalma:

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.