What is a Computer?
Foundations of Computing
Overview of Mathematics in Computing
Introduction to Algorithms
Number Theory
Algebra
Sequences, Series, and Permutations and Combinations
Mathematical Induction and Recursion
Graph Theory
Cryptography
Coding Theory
Language Theory and Semantics
Computability and Decidability
Matrix Theory
A Short History of Logic
Propositional and Predicate Logic
Advanced Topics in Logic
The Nature of Theorem Proving
Software Engineering Mathematics
Software Reliability and Dependability
Overview of Formal Methods
Z Formal Specification Language
Automata Theory
Model Checking
Probability and Statistics
Complex Numbers and Quaternions
Calculus
Epilogue
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 such Springer titles as World of Computing: A Primer Companion for the Digital Age, Concise Guide to Formal Methods, Concise Guide to Software Engineering, Guide to Discrete Mathematics, and Introduction to the History of Computing.