Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

• Main Author: O’Regan, Gerard (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Subjects: Computer science.; Coding theory.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer mathematics.; Mathematics.; History.; Computer Science.; Math Applications in Computer Science.; Mathematical Applications in Computer Science.; Mathematical Logic and Formal Languages.; Coding and Information Theory.; Logics and Meanings of Programs.; History of Mathematical Sciences.

From the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built our world. This clearly written and enlightening textbook/reference provides a concise, introductory guide...

Table of Contents:

• 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.