15 minutes
Tutoring for concepts in CS 2100, Discrete Structures
Introduction to propositional logic, predicate logic, formal logical arguments, finite sets, functions, relations, inductive proofs, recurrence relations, graphs, probability, and their applications to Computer Science.