Matematyka dla informatyków

Oryginalny tytuł:

Mathematics for Computer Science

Zawartość książki:

Książka ta obejmuje elementarną matematykę dyskretną dla informatyki i inżynierii.

Kładzie nacisk na definicje matematyczne i dowody, a także na stosowane metody. Tematy obejmują notację logiki formalnej, metody dowodu; indukcję, uporządkowanie; zbiory, relacje; elementarną teorię grafów; kongruencje liczb całkowitych; notację asymptotyczną i wzrost funkcji; permutacje i kombinacje, zasady liczenia; dyskretne prawdopodobieństwo.

Mogą być również omówione inne wybrane tematy, takie jak definicja rekurencyjna i indukcja strukturalna; maszyny stanowe i niezmienniki; rekurencje; funkcje generujące. Kolorowe obrazy i tekst w tej książce zostały przekonwertowane na skalę szarości.