1. Formal Logic.- 2. Proofs, Recursion, and Analysis of Algorithms.- 3. Sets, Combinatorics, Probability, and Number Theory.- 4. Relations, Functions, and Matrices.- 5. Graphs and Trees.- 6. Graph Algorithms.- 7. Boolean Algebra and Computer Logic.- 8. Modeling Arithmetic, Computation, and Languages.
Judith Gersting, now retired, taught at the Computer Science
and Engineering Department at the University of Hawaii at Hilo on
the Big Island. She has received NSF computer science education
grants and has served on NSF grant review panels in computer
science education. She is the author of several college-level
textbooks in mathematics and computer science.