TY  - BOOK
AU  - Lehman,Eric
AU  - Leighton,F.Tom
AU  - Meyer,Albert R.
TI  - Mathematics for computer science
SN  - 9789888407064
PY  - 2017///
CY  - Hong Kong
PB  - Samurai Media
KW  - Computer science
KW  - Mathematics
N1  - Includes bibliographical references and index; What is a proof? -- The well ordering principle -- Logical formulas -- Mathematical data types -- Induction -- State machines -- Recursive data types -- Infinite sets -- Number theory -- Directed graphs & partial orders -- Communication networks -- Simple graphs -- Planar graphs -- Sums and asymptotics -- Cardinality rules -- Generating functions --- Conditional probability -- Random variables --Deviation from the mean -- Random walks -- Recurrences
ER  -