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

  • 5h 21m
  • Gerard O'Regan
  • Springer
  • 2013

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. 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.

About the Author

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.

In this Book

  • 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
  • References
  • Glossary