Mathematics for computer science - Lehman, Eric; Leighton, F. Tom; Meyer, Albert R. (Hong Kong : Samurai Media, 2017)
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.
Includes bibliographical references and index.
Keywords: Computer science -- Mathematics