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
"synopsis" may belong to another edition of this title.
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 to the key mathematical concepts and techniques used by computer scientists. Spanning a wide range of topics – from number theory to software engineering – the book demonstrates the practical computing applications behind seemingly abstract ideas. The work of important figures such as Alan Turing and Robert Floyd are also discussed, highlighting how the theory has been informed by historical developments.
Topics and features:
This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.
Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement; mathematical approaches to software quality; and the history of computing. He is the author of the Springer titles "A Brief History of Computing", "Introduction to Software Process Improvement", "Mathematical Approaches to Software Quality" and "A Practical Approach to Software Quality".
"About this title" may belong to another edition of this title.