MAT1004: Discrete Mathematics for Data Science

Fall 2026 · Hanyang University ERICA

Course Information

• Instructor: Sehyun Kwon

• Course Number: MAT1004

• Semester: Fall 2026

• Lecture Schedule: MON 13:00-15:00 융합교육관 Room 503, WED 09:00-11:00 융합교육관 Room 504

Course Materials

Course Information

• Course Overview

Part 1. Logic

• Propositions

• Implications

• Inference Rules

• Quantifiers

• Quantified Statements

Part 2. Proofs

• Direct Proofs

• Contradiction and Cases

• Mathematical Induction

• Strong Induction

Part 3. Counting

• Counting Principles

• Counting Methods

Part 4. Probability

• Probability

• Random Variables

Assignments

• Logic and Proofs (Due: 10/19)

Midterm Assignment

• Assignment PDF

References

This course was developed with reference to CS70: Discrete Mathematics and Probability Theory at UC Berkeley, Mathematics for Computer Science at MIT OpenCourseWare, and Kenneth H. Rosen, Discrete Mathematics and Its Applications, McGraw-Hill.

Back to Courses