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