Mathematics in computing : an accessible guide to historical, foundational and application contexts /
O’Regan, Gerard
Mathematics in computing : an accessible guide to historical, foundational and application contexts / Gerard O’Regan - London : Springer-Verlag, 2013 - xix, 285 p. : ill. ; 24 cm.
Includes bibliographical references and index
Mathematics in civilization -- Sets, relations and functions -- Logic -- Software engineering -- Formal methods -- Z formal specification language -- Number theory -- Cryptography -- Coding theory -- Language theory and semantics --Computability and decidability -- Probability, statistics and software reliability -- Matrix theory -- Complex numbers and quaternions -- Calculus -- Graph theory
9781447145332
Computer science--Mathematics
Mathematics in computing : an accessible guide to historical, foundational and application contexts / Gerard O’Regan - London : Springer-Verlag, 2013 - xix, 285 p. : ill. ; 24 cm.
Includes bibliographical references and index
Mathematics in civilization -- Sets, relations and functions -- Logic -- Software engineering -- Formal methods -- Z formal specification language -- Number theory -- Cryptography -- Coding theory -- Language theory and semantics --Computability and decidability -- Probability, statistics and software reliability -- Matrix theory -- Complex numbers and quaternions -- Calculus -- Graph theory
9781447145332
Computer science--Mathematics