Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 What Is a Computer?
3. Altmetric Badge
   Chapter 2 Foundations of Computing
4. Altmetric Badge
   Chapter 3 Overview of Mathematics in Computing
5. Altmetric Badge
   Chapter 4 Introduction to Algorithms
6. Altmetric Badge
   Chapter 5 Number Theory
7. Altmetric Badge
   Chapter 6 Algebra
8. Altmetric Badge
   Chapter 7 Sequences, Series and Permutations and Combinations
9. Altmetric Badge
   Chapter 8 Mathematical Induction and Recursion
10. Altmetric Badge
    Chapter 9 Graph Theory
11. Altmetric Badge
    Chapter 10 Cryptography
12. Altmetric Badge
    Chapter 11 Coding Theory
13. Altmetric Badge
    Chapter 12 Language Theory and Semantics
14. Altmetric Badge
    Chapter 13 Computability and Decidability
15. Altmetric Badge
    Chapter 14 Matrix Theory
16. Altmetric Badge
    Chapter 15 A Short History of Logic
17. Altmetric Badge
    Chapter 16 Propositional and Predicate Logic
18. Altmetric Badge
    Chapter 17 Advanced Topics in Logic
19. Altmetric Badge
    Chapter 18 The Nature of Theorem Proving
20. Altmetric Badge
    Chapter 19 Software Engineering Mathematics
21. Altmetric Badge
    Chapter 20 Software Reliability and Dependability
22. Altmetric Badge
    Chapter 21 Overview of Formal Methods
23. Altmetric Badge
    Chapter 22 Z Formal Specification Language
24. Altmetric Badge
    Chapter 23 Automata Theory
25. Altmetric Badge
    Chapter 24 Model Checking
26. Altmetric Badge
    Chapter 25 Probability and Statistics
27. Altmetric Badge
    Chapter 26 Complex Numbers and Quaternions
28. Altmetric Badge
    Chapter 27 Calculus
29. Altmetric Badge
    Chapter 28 Epilogue