TY - BOOK AU - O’Regan,Gerard TI - Mathematics in computing: an accessible guide to historical, foundational and application contexts SN - 9781447145332 PY - 2013/// CY - London PB - Springer-Verlag KW - Computer science KW - Mathematics N1 - 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 ER -