Lehman, Eric

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.

9789888407064


Computer science--Mathematics