Mathematics for computer science / Eric Lehman; F. Tom Leighton; Abert R. Meyer
Detalles de publicación: Hong Kong : Samurai Media, 2017Descripción: viii, 979 pages : illustrationsTipo de contenido:- texto
- unmediated
- volume
- 9789888407064
- 511
Contenidos:
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.
| Tipo de ítem | Biblioteca | Colección | Clasificación | Copia | Estado | Código de barras | |
|---|---|---|---|---|---|---|---|
| Libro | Biblioteca Rancagua | Colección General | 511 L523m 2017 | 1 | Disponible | 35672011263 | |
| Libro | Biblioteca Rancagua | Colección General | 511 L523m 2017 | 2 | Disponible | 35672011264 | |
| Libro | Biblioteca Rancagua | Colección General | 511 L523m 2017 | 3 | Disponible | 35672011265 |
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.