# Syllabus

## Table of contents

## Overview

This class 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. 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.

By the end of the course, students will learn:

- Proposition Logic and Predicate Logic
- Set Theory and Binary Relations
- Algebraic Structure
- Some basic Combinatorics
- Graph Theory
- Elementary Number Theory

## Policies

### Cheating

You are encouraged to collaborate with your classmates or utilize online resources for any problem you meet in the homework or in the class. Actually, you can also ask for the instructor. **However, directly copying answers is prohibited.** If I ask you how your code works or why your answers are correct and you do not know, it will be evident that you have copied it. Don’t take the risk.

### Homework

The **HW** will be released once a week.

**Please note that late submissions will incur a 25% penalty.**

### Final Exam

This course will have only one exam, the final exam. The more information will be decided later.

### Grades

Students’ grades**Grade** will be determined by the following two components:

- Homework
**HW**, - Final Exam
**Exam**,

- The final grade will be calculated using the following equation:
**Grade**= 30%***HW**+ 70%***Exam**

## Resources

This course website, Discrete Mathematics, will be your one-stop resource for the syllabus, schedule and homework links.

**Reference**

Here’re some recommended books：

- [1] 屈婉玲，耿素云，张立昂。
*离散数学* - [2] 石纯一，王家廞。
*数理逻辑与集合论* - [3] 崔勇，张小平。
*图论与代数结构* - [4] Jiri Matousek and Jaroslav Nesetril.
*Invitation to Discrete Mathematics* - [5] Kenneth H.Rosen, Kamla Krithivasan.
*Discrete Mathematics and Its Applications* - [6] H.-D. Ebbinghaus, J.Flum, W.Thomas
*Mathematical Logic*