CS1300: Discrete Structures

The following are my class notes for Discrete Structures.

Topics

• Formal Logic
• Propositional Logic
• Predicate Logic
• Proof Techniques
• Induction
• Recursion
• Set Theory
• Combinatorics
• Relations
• Functions
• Graphs