Lehman, Eric creator author. Leighton, F. Tom author. Meyer, Albert R. author. text handbook -hk Hong Kong Samurai Media 2017 monographic eng viii, 979 pages : illustrations. 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. specialized Eric Lehman; F. Tom Leighton; Abert R. Meyer Includes bibliographical references and index. Computer science Mathematics 9789888407064 clrauoh 260401 20260401160424.0 eng