DISCRETE STRUCTURES
Auburn University
CourseCPSC 3240
Basics of set theory, propositional and predicate logic as used to describe algorithms, recurrence relations. Proving correctness and estimating running time for algorithms. Mathematical and structural induction.
- Credits
3 credits
- Course Code
CPSC 3240