Mathematics for computer science /
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
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