- Meeting time
- ITP 20002-01: M/Th, 10:00 AM
- ITP 20002-02: M/Th, 11:30 AM
- Meeting location
- Offline: OH 319
- Online:https://handong.zoom.us/my/hongshin
- Instructor: Shin Hong https://hongshin.github.io / [email protected]
This course aims to equip beginner-level students majored in Computer Scinece with essential mathematics for pursing their study in Computer Science. It is designed to articulate students in reading and writing formal description of mathematical concept, understanding basics of computation, and reasoning properties of data structures (e.g. sets, relations, permutations, graphs, and trees). This course is also purposed to broaden student's interests in Computer Science by engaging the fundamental conepts with their applications in real-world.
- Answer sheet
- Submission site (requires Handong sign in)
- Problems ๐
Discrete Mathematics and Its Applications, 8/e authored by Kenneth. H. Rosen
This book can be found in Handong Book on campus. It is mandatory for every class participant to hold a copy of this textbook: it will be assumed that every student is able to access the textbook by himself/herself anytime in this semester for doing homework, team projects, etc.
-
Recursion (15 Oct)
-
Induction (11 Oct)
-
Set Cardinality (4 Oct)
-
Sequence (28 Sep)
-
Function (25 Sep)
-
Set (21 Sep)
-
Proof (18 Sep)
-
Rules of inference (14 Sep)
-
Solving Puzzles with SAT Solver (11 Sep)
-
Predicate Logic Basics (7 Sep)
-
Propositional Logic Basics (3 Sep)
-
c.f. ITP 20002 Discrete Math, 2019 Fall : exam, assignments, lecture notes, etc.
c.f. ITP 20002 Discrete Math, 2018 Fall : exams, assignments, lecture notes, etc.
c.f. Collections of Previous Exams
- Homework 3. Cardinality and Countability
- Homework 2. Set Representation
- baseline code: [link]
- Homework 1. Solve Grid Puzzles using SAT Solver
- report template: report.docx
- Foundations of Computer Science, Stanford University
- Mathematics for Computer Science, MIT OCW
- Discrete Mathematics: An Open Introduction, 3/e by Oscar Levin
- Programming and Mathematical Thinking: A Gentle Introduction to Discrete Math Featuring Python by Allan M. Stavely
- ITP 20002-02 Discrete Math, 2018 Fall: lecture note (may be outdated), assignments, etc.
- Handong LMS
- GitHub repository for sharing lecture note, resource for homework, etc.
- Slack for in-class interaction and instant messaging