This course is offered by the CS Department of SUNY Korea. In this course, we will learn the part of mathematics, also know as discrete math, which is required in well understanding computer science. The course covers the following topics: logic (propositional logic and predicate logic), number theory, proof techniques, sequences, recursion, functions, relations, and sets.
This repository is publicly accessible and hosts courseware that will be incrementally added along the semester. We will adapt the courseware from the ones used at Stony Brook University.
The students should gain the following knowledge and skills:
- An ability to construct truth tables for various purposes, for example, checking if an argument is valid or if two propositions are equivalent.
- An ability to verify the correctness of proofs of some existing theorems and prove some new theorems
- An ability to use the mathematical concepts of sequences, functions, relations, and sets in solving computing problems
AMS 151 or MAT 125 or MAT 131
Discrete Mathematics: Introduction to Mathematical Reasoning. Susanna S. Epp. 1st Edition
Lectures: Monday and Wednesday 3h30pm - 4h50pm, at C107 or Zoom
Recitation: Tuesday 3h30pm - 4h25pm, at C107 or Zoom
Office hours: Monday and Wednesday 2pm - 3pm, at B424 or Zoom
TA office hours: Tuesday, Thursday, Friday, 8pm - 10:30pm, at Zoom
~oom lins can be can be found at Blackboard.
| Week | Date | Tentative schedule for each class | Reading |
|---|---|---|---|
| 01 | 02-21 | Overview of the course | |
| 02-22 | Recitation: Look and feel of a final exam | ||
| 02-23 | Propositional logic [HW1 announced] | Epp, Ch2 | |
| 02 | 02-28 | Propositional logic | Epp, Ch2 |
| No class 03-01 | |||
| 03-02 | Propositional logic [HW1 due; HW2 announced] | Epp, Ch2 | |
| 03 | 03-07 | Propositional logic | Epp, Ch2 |
| 03-08 | Recitation [-> Friday: HW2 due; HW3 announced] | ||
| No class 03-09 | |||
| 04 | 03-14 | Predicate logic | Epp, Ch3 |
| 03-15 | Recitation | ||
| 03-16 | Midterm exam 1 review [HW3 due] | ||
| 05 | 03-21 | Midterm exam 1 | |
| 03-22 | Recitation | ||
| 03-23 | Proof techniques [HW4 announced] | Epp, Ch4 | |
| 06 | 03-28 | Proof techniques | Epp, Ch4 |
| 03-29 | Recitation | ||
| 03-30 | Proof techniques [HW4 due; HW5 announced] | Epp, Ch4 | |
| 07 | 04-04 | Sequences | Epp, Ch5 |
| 04-05 | Recitation | ||
| 04-06 | Sequences [HW5 due; HW6 announced] | Epp, Ch5 | |
| 08 | 04-11 | Sequences | Epp, Ch5 |
| 04-12 | Recitation | ||
| 04-13 | Sequences [HW6 due; HW7 announced] | Epp, Ch5 | |
| 09 | 04-18 | Sets | Epp, Ch6 |
| 04-19 | Recitation | ||
| 04-20 | Sets [HW7 due; HW8 announced] | Epp, Ch6 | |
| 10 | 04-25 | Sets | Epp, Ch6 |
| 04-26 | Recitation | ||
| 04-27 | Midterm review [HW8 due] | ||
| 11 | 05-02 | Midterm exam 2 | |
| 05-03 | Recitation | ||
| 05-04 | Functions [HW9 announced] | Epp, Ch7 | |
| 12 | No class 05-09 | ||
| 05-10 | Recitation | ||
| 05-11 | Functions [HW9 due; HW10 announced] | Epp, Ch7 | |
| 13 | 05-16 | Functions | Epp, Ch7 |
| 05-17 | Recitation | ||
| 05-18 | Functions [HW10 due; HW11 announced] | Epp, Ch7 | |
| 14 | 05-23 | Relations | Epp, Ch8 |
| 05-24 | Recitation | ||
| 05-25 | Relations [HW11 due; HW12 announced] | Epp, Ch8 | |
| 15 | 05-30 | Final review 1 | |
| 05-31 | Recitation: Course evaluation [HW12 due] | ||
| No class 06-01 | |||
| 16 | 06-06 | ||
| 06-07 | Final review 2. Wednesday schedule. | ||
| 06-08 | |||
| 17 | 06-13 | Final exam 3h15pm-5h45pm |
- Attendance: 5%
- Homeworks: 45%
- Midterms: 30%
- Final exam: 20%
Late homework will generally not be accepted. Special requests must be presented to the course instructor with all supporting documentation as soon as possible. Once the solutions to the homework exercises are publicized, there shall be no ways to accept assignments, whatever the circumstance.
Zhoulai Fu <zhoulai dot fu at sunykorea.ac.kr> or <zhoulai dot fu at stonybrook.edu>
Minki Jeon <minki dot jeon at stonybrook.edu>
If you have a physical, psychological, medical or learning disability that may impact your course work, please contact One-Stop Service Center, Academic Building A201, (82) 32-626-1117. They will determine with you what accommodations, if any, are necessary and appropriate. All information and documentation is confidential.
Students who require assistance during emergency evacuation are encouraged to discuss their needs with instructors and the One-Stop Service Center.
Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person’s work as your own is always wrong. Faculty members are required to report any suspected instances of academic dishonesty to the Academic Judiciary Committee or the Department of Academic Affairs, Campus Building A, Room 201, (032) 626-1121.
SUNY Korea expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Department of Academic Affairs any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students’ ability to learn.