### 이산 수학 (Discrete Mathematics)

- 강의실: 공학 x관 xxx호
- Textbooks
- Kenneth H. Rosen, Discrete Mathematics and its Applications, 7th Edition [book]
- (번역서) 이산수학 제 7판 [book]

- Introduction [pdf]
- Chapter 1: Logic and Proofs
- Propositional Logic [pdf]
- Predicate Logic [pdf]
- Proofs [pdf]
- [Reference] Gödel’s Incompleteness Theorem - Overview [pdf]
- [Reference] Mizar project [link]

- Chapter 2: Basic structures - sets, functions, sequences, sums, and matrices [pdf]
- Chapter 3: Algorithms [pdf]
- [Reference] A history on P versus NP [link]

- Chapter 4: Number theory and cryptography [pdf]
- Chapter 5: Induction and recursion [pdf]
- Chapter 6: Counting [pdf]
- Chapter 7: Discrete probability [pdf]
- Chapter 8: Advanced counting techniques [pdf]
- Chapter 9: Relations[pdf][pdf]][pdf]
- [Reference] Additional material on Relations [pdf]

- Chapter 10: Graphs [pdf][pdf][pdf]
- Chapter 11: Trees [pdf][pdf]
- Chapter 12: Boolean algebra [pdf]
- Chapter 13: Modeling computation [pdf]

- Selected problems in ch01-ch04 (Assignment for midterm): link
- Selected problems in ch05-ch11 (Assignment for finalterm): link