An Accessible Guide to Historical, Foundational and Application Contexts
2013, XX, 288 p.
Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
Provides a broad review of the applications of mathematics to computing, including software engineering, coding theory, cryptography and software reliability
Emphasizes the application of mathematics to computing, rather than mathematics for its own sake, covering both discrete and continuous mathematics
Discusses the application of mathematical techniques to increase confidence in program correctness
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:
Ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary
Places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks
Examines the building blocks of mathematics, including sets, relations and functions
Presents an introduction to logic, formal methods and software engineering
Explains the fundamentals of number theory, and its application in cryptography
Describes the basics of coding theory, language theory, and graph theory
Discusses the concept of computability and decideability
Includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions
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.
Content Level »Upper undergraduate
Keywords »Calculus - Coding Theory - Cryptography - Discrete Mathematics - Formal Methods - Graph Theory - Group Theory and Ring Theory - History of Mathematics - Matrix Theory - Number Theory - Probability and Statistics - Software Engineering - Software Reliability - Z Specification Language