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