Matematică pentru informatică

Titlul original:

Mathematics for Computer Science

Conținutul cărții:

Această carte acoperă matematica discretă elementară pentru știința și ingineria calculatoarelor.

Ea pune accentul pe definițiile și demonstrațiile matematice, precum și pe metodele aplicabile. Subiectele includ notarea logicii formale, metode de demonstrare; inducție, bine-ordonare; seturi, relații; teoria grafurilor elementare; congruențe întregi; notarea asimptotică și creșterea funcțiilor; permutări și combinații, principii de numărare; probabilități discrete.

Pot fi abordate și alte subiecte selectate, cum ar fi definiția recursivă și inducția structurală; mașini de stare și invariante; recurențe; funcții generatoare. Imaginile color și textul din această carte au fost convertite la scară de gri.