Matematica per l'informatica

Titolo originale:

Mathematics for Computer Science

Contenuto del libro:

Questo libro tratta la matematica discreta elementare per l'informatica e l'ingegneria.

Enfatizza le definizioni e le prove matematiche, nonché i metodi applicabili. Gli argomenti trattati comprendono la notazione logica formale, i metodi di dimostrazione, l'induzione, il buon ordinamento, gli insiemi, le relazioni, la teoria elementare dei grafi, le congruenze di interi, la notazione asintotica e la crescita delle funzioni, le permutazioni e le combinazioni, i principi del conteggio, la probabilità discreta.

Possono essere trattati anche altri argomenti selezionati, come la definizione ricorsiva e l'induzione strutturale, le macchine a stati e gli invarianti, le ricorrenze, le funzioni generatrici. Le immagini a colori e il testo di questo libro sono stati convertiti in scala di grigi.