Matematika Diskrit

1. Introduction, Propositional Equivalences, Tautologies

2. Mathematical Reasoning

3. Conjunctive Normal Form & Resolution

4. Predicate Logic

5a. Proof by Induction

5b. Number Theory

6. Applications of Number Theory(Application of Primes and Modulo)

7. Set Theory

8. n-ary Relations and Its Applications

9. Closures of Relations

10. Graphs

11. Adjacency Matrix