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

• Κύριος συγγραφέας: O’Regan, Gerard (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Θέματα: 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...

Πίνακας περιεχομένων:

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