Course Content
Logic (propositional and predicate logic)
Proof techniques (direct, contradiction, induction)
Sets, functions, and relations
Combinatorics (counting, permutations, combinations)
Recursion and recurrence relations
Graph theory (graphs, trees, basic traversal)
Introduction to Boolean algebra
Learning Outcomes
Upon successful completion of the course, students will be able to:
Apply propositional and predicate logic
Construct and evaluate mathematical proofs
Analyze sets, functions, and relations
Solve combinatorial problems
Apply recursive definitions and solve recurrence relations
Model and analyze problems using basic graph theory
