Course Content

UNIT 1: The Foundations: Logic and Proofs.

  • 1.1 Propositional Logic
  • 1.2 Applications of Propositional Logic
  • 1.3 Propositional Equivalences
  • 1.4 Predicates and Quantifiers
  • 1.5 Nested Quantifiers
  • 1.6 Rules of Inference
  • 1.7 Introduction to Proofs
  • 1.8 Proof Methods and Strategy

UNIT 2: Basic Structures: Sets, Functions, Sequences, Sums, and Matrices

UNIT 3: Relations

UNIT 4: Number Theory

UNIT 5: Induction and Recursion

UNIT 6: Counting

UNIT 7: Advanced Counting Techniques

UNIT 8: Discrete Probability

UNIT 9: Algorithms

UNIT 10: Graphs

UNIT 11: Trees

11.5 Minimum Spanning Trees

Student Ratings & Reviews

No Review Yet
No Review Yet