2013

Mathematics in Computing

An Accessible Guide to Historical, Foundational and Application Contexts

Authors:

ISBN: 978-1-4471-4533-2 (Print) 978-1-4471-4534-9 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages 1-1

  2. No Access

    Book Chapter

    Pages 1-22

    Mathematics in Civilization

  3. No Access

    Book Chapter

    Pages 23-41

    Sets, Relations and Functions

  4. No Access

    Book Chapter

    Pages 43-70

    Logic

  5. No Access

    Book Chapter

    Pages 71-87

    Software Engineering

  6. No Access

    Book Chapter

    Pages 89-108

    Formal Methods

  7. No Access

    Book Chapter

    Pages 109-122

    Z Formal Specification Language

  8. No Access

    Book Chapter

    Pages 123-140

    Number Theory

  9. No Access

    Book Chapter

    Pages 141-154

    Cryptography

  10. No Access

    Book Chapter

    Pages 155-169

    Coding Theory

  11. No Access

    Book Chapter

    Pages 171-189

    Language Theory and Semantics

  12. No Access

    Book Chapter

    Pages 191-200

    Computability and Decidability

  13. No Access

    Book Chapter

    Pages 201-221

    Probability, Statistics and Software Reliability

  14. No Access

    Book Chapter

    Pages 223-233

    Matrix Theory

  15. No Access

    Book Chapter

    Pages 235-246

    Complex Numbers and Quaternions

  16. No Access

    Book Chapter

    Pages 247-265

    Calculus

  17. No Access

    Book Chapter

    Pages 267-275

    Graph Theory

  18. Back Matter

    Pages 18-18