- Meeting time: Tue/Fri, 4:00--5:15 PM
- Meeting location
- onsite: OH 401
- online:https://handong.zoom.us/my/hongshin
- Instructor: Shin Hong https://hongshin.github.io / hongshin@handong.edu
This course aims to equip beginner-level students majored in Computer Science 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 concepts with their applications in real-world.
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 each student to hold a copy of this textbook: it will be assumed that everyone is able to access the textbook by himself/herself anytime in this semester for doing homework, assignmenets, etc.
- #Test 4 (17 Dec)
- Graph (7 Dec, 10 Dec)
- Relation (23 Nov, 30 Nov, 3 Dec)
- #Test 3 (19 Nov)
- Probability (12 Nov, 17 Nov)
- Counting (2 Nov, 5 Nov, 9 Nov)
- Halting Problem (29 Oct)
- #Test 2 (22 Oct)
- Recursion (19 Oct)
- Induction (15 Oct)
- Algorithm (12 Oct)
- Set Cardinality (8 Oct)
- Sequence (5 Oct)
- Set and Function (28 Sep, 1 Oct)
- Puzzle Solving with SAT Solver (24 Sep)
- #Test 1 (17 Sep)
- Proof (14 Sep)
- Rule of Inference (10 Sep)
- Predicate Logic (7 Sep, 10 Sep)
- Propositional Logic (3 Sep)
- Course Overview (31 Aug)
- Homework 4. Hasse Diagram Plotter
- Homework 3. Generating Languages from Grammars
- Homework 2. Solving Puzzles with SAT Solver
- Homework 1. Entrance Survey
- Weekly reading group assignments [link]
- Exam problems of the previous years
- 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
- Hisnet for attendance accounting and turning in homeworks
- GitHub repository for sharing lecture note, resource for homework, etc.
- Slack for in-class interaction and instant messaging