TY  - GEN
AU  - Lehman, Eric 
AU  - Leighton, F. Thomson 
AU  - Meyer, Albert R. 
TI  - Mathematics for computer science
SN  - 9781680921229
U1  - 004.0151 LEH/M 
PY  - 2017///
PB  - Creative Common License
KW  - Computer science
KW  - Mathematical principles
N2  - 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
UR  - https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
ER  -