# Discrete Mathematics FALL 2023

Course Website for Discrete Mathematics at SHNU in FALL 2023

## About the Class

Discrete Mathematics is the mathematical foundation of computer science. Within this course, students will acquire a specific collection of mathematical principles and learn how to apply them. Significantly, the course will cultivate logical and mathematical thinking abilities among students. To accomplish these objectives, the course will cover the following topics: Logic, Set Theory, Algebraic Structures, Combinatorics, Graph Theory, and Elementary Number Theory. Upon completing this course, students will have obtained a solid grasp of all the requisite mathematical foundations necessary for their future studies in computer science.

Enjoy the class!

See the Syllabus page for more details on course policies.

## General Information

**Instructor:** Qizhe Yang, qzyang(at)shnu.edu.cn

**Time and Location:** 8:00 a.m.- 9:30 a.m. Every Monday in Week 1-16, 奉贤3教楼309

8:00 a.m.- 9:30 a.m. Every Friday in Week 1-16，奉贤3教楼312

For more details about the class, see the Schedule page.

## Final Exam

The final exam is scheduled for **January 10, 2024, from 8:30 a.m. to 10:00 a.m.** , and will be held in 奉贤2教楼221 . Please note that it will be a **closed-book** exam.

## Course Feedback

We have set up a course questionnaire:

Everyone is welcome to submit his/her questions or suggestions about this course.

**Updated in Dec 28, 2023**

Since we will finish the course in the next week, we have set up a new questionnaire for collecting the feedback of this course:

The questionnaire is not mandatory, but I will appreciate it if you can spend a few minutes to fill it out. Thank you!

# Announcements

## Week 16 Announcement

Hey everyone, here’re two notifications:

- The solutions for Homework #10 to Homework #13 are now available.

Happy New Year!

## Week 16 Announcement

Hey everyone, here’re two notifications:

The solutions for Homework #10 to Homework #13 will soon be released.

- Kindly mark your calendars with the details for the final exam:
- Date and Time: January 10, 2024, from 8:30 a.m. to 10:00 a.m.
- Location: 奉贤2教楼221
- Exam Type: Closed-book exam.

You also can find the information on the Main page.

- Since we will finish the course in the next week, we have set up a new questionnaire for collecting the feedback of this course:
The questionnaire is not mandatory, but I will appreciate it if you can spend a few minutes to fill it out. Thank you!

## Week 15 Announcement

Hello, guys. Here’s a correction for Homework 2 Solution :

- In Problem 3, the maxterm(极大项) $M_5$ should be $\neg p\vee q\vee \neg r$，not $\neg p\vee \neg q\vee r$. There’s a mistake in the old version.

Sorry for the inconvenience, and thanks to the student who pointed out this mistake.

## Week 15 Announcement

Homework #13 is now available. See more information in Schedule.

## Week 14 Announcement

Hello, guys. Here’s a correction for Homework #12 :

- Problem 5 need an additional condition that $n$ is greater than $5$.

## Week 14 Announcement

Homework #12 is now available. See more information in Schedule.

## Week 13 Announcement

Homework #11 is now available. See more information in Schedule.

Please also note that the delayed class will be held on Dec 8, 2023 (Thursday) 18:00-19:30 in 奉贤3教楼309.

## Week 12 Announcement

Hi, everyone. The solution for Homework #1 to Homework #9 are released now. See more information in Schedule.

## Week 12 Announcement

Homework #10 is now available. See more information in Schedule. Please notice the deadline is Dec 4 23:59.

## Week 10 Announcement

Homework #9 is now available. See more information in Schedule. Please notice the deadline is Nov 27 23:59.

## Week 9 Announcement

Homework #8 is now available. See more information in Schedule.

## Week 8 Announcement

Considering the course schedule, Homework #7 only needs to finish the problem 1, 2, and the first two questions of problem 3 this week.

## Week 8 Announcement

Homework #7 is now available. See more information in Schedule.

## Week 7 Announcement

Homework #6 is now available. See more information in Schedule.

## Week 6 Announcement

Considering the course schedule, Homework #5 only needs to finish the problem 1, 2, 3 this week.

## Week 6 Announcement

Homework #5 is now available. See more information in Schedule.

## Week 5 Announcement

Homework #4 is now available. See more information in Schedule.

## Week 3 Announcement

Hi,guys. I have updated the slides for Lecture 3. And I also update a note that solving the remaining problem on the class. See more information in Schedule.

Sorry for the typos on the slides. And if everyone find any mistakes on the slides, it’s very welcome to inform me. Thank you very much.

Enjoy the class!

## Week 3 Announcement

Hi,guys. You need to know the following two things:

Considering the course schedule, Homework #3 only needs to finish the problem 1, 2, and 3 this week. And please remember that if you don’t finish problem 4 in Homework #2 last week, you should solve it this time.

We have set up a questionaire for the course. And I wish you can actively provide the feedback about this course. See more information in Discrete Mathematics.

Happy Mid-Autumn Festival and National Day!

## Week 3 Announcement

Homework #3 is now available. See more information in Schedule.

## Week 2 Announcement

Considering the course schedule, Homework #2 only needs to finish the problem 1, 2, 3, and 5 this week.

- Please note that we have modified the problem 2 to just require finding the Conjunctive Normal Form (合取范式，CNF)and Disjunctive Normal Form(析取范式，DNF), insteading of finding Canonical Conjunctive Normal Form (主合取范式)and Canonical Disjunctive Normal Form (主析取范式). The PDF will be updated soon later.

## Week 2 Announcement

Homework #2 is now available. See more information in Schedule.

Here’s the explanation for the why $\rightarrow$ doesn’t share the associative law:

let $A=0,\ B=1, \ C=0$, then we have:

- $(A\rightarrow B)\rightarrow C =0$
- $A\rightarrow (B\rightarrow C)=1$

## Week 1 Announcement

Homework #1 is updated by fixing a typo. Thank you for the student that point out the mistake.

## Week 1 Announcement

Homework #1 is now available. See more information in Schedule.

## Week 0 Announcement

Welcome to the course of Discrete Mathematics!