Eric LehmanVezi magazinul Libris- 4 stele, bazat pe 1 voturi
This book covers elementary discrete mathematics for computer science and engineering.
It emphasizes mathematical definitions and proofs as well as applicable methods.
Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability.
Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.
