Skip to main content
  • Textbook
  • © 2013

Mathematics in Computing

An Accessible Guide to Historical, Foundational and Application Contexts

Authors:

  • 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
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 64.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 chapters)

  1. Front Matter

    Pages 1-1
  2. Mathematics in Civilization

    • Gerard O’Regan
    Pages 1-22
  3. Sets, Relations and Functions

    • Gerard O’Regan
    Pages 23-41
  4. Logic

    • Gerard O’Regan
    Pages 43-70
  5. Software Engineering

    • Gerard O’Regan
    Pages 71-87
  6. Formal Methods

    • Gerard O’Regan
    Pages 89-108
  7. Z Formal Specification Language

    • Gerard O’Regan
    Pages 109-122
  8. Number Theory

    • Gerard O’Regan
    Pages 123-140
  9. Cryptography

    • Gerard O’Regan
    Pages 141-154
  10. Coding Theory

    • Gerard O’Regan
    Pages 155-169
  11. Language Theory and Semantics

    • Gerard O’Regan
    Pages 171-189
  12. Computability and Decidability

    • Gerard O’Regan
    Pages 191-200
  13. Probability, Statistics and Software Reliability

    • Gerard O’Regan
    Pages 201-221
  14. Matrix Theory

    • Gerard O’Regan
    Pages 223-233
  15. Complex Numbers and Quaternions

    • Gerard O’Regan
    Pages 235-246
  16. Calculus

    • Gerard O’Regan
    Pages 247-265
  17. Graph Theory

    • Gerard O’Regan
    Pages 267-275
  18. Back Matter

    Pages 18-18

About this book

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.

Reviews

From the reviews:

“This book provides a mathematical context for computing. … Each chapter concludes with a summary and a series of review questions that reinforce the concepts presented. This is all very readable and self-contained, making the book an excellent resource for most academic libraries. Summing Up: Highly recommended. All undergraduate students and informed general audiences.” (D. Z. Spicer, Choice, Vol. 50 (11), July, 2013)

Authors and Affiliations

  • Mallow, Ireland

    Gerard O’Regan

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

Bibliographic Information

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 64.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access