Mathematics for computer science /
Eric Lehman; F. Tom Leighton; Abert R. Meyer
- Hong Kong : Samurai Media, 2017
- viii, 979 pages : illustrations.
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.