Webpage of the course on Discrete Mathematics, 2017

In this page it is possible to download the material used for the lectures given by Naijun Zhan.

 

Material

Last modification time

Lecture notes (up to chapter 4)

2017-03-27 23:30:00 (Beijing Time)

Lecture slides: chapter 1

2017-02-22 22:00:00 (Beijing Time)

Additional Reading Materials:

l  Gentzen System

l  Hilbert System

l  Equivalence

2017-02-22 22:00:00 (Beijing Time)

(Provided by Prof. Hanpin Wang from PKU)

Lecture slides: chapter 2

2017-03-05 22:00:00 (Beijing Time)

Lecture slides: chapter 3

2017-03-19 11:30:00 (Beijing Time)

Exercise Sheet for Chapter 2-3

2017-03-19 11:30:00 (Beijing Time)

Additional Reading Materials:

l  First-order Logic (Provided by Prof. Hanpin Wang from PKU)

l  Hintikka set       (Provided by Prof. Lijun Zhang from ISCAS)

2017-03-14 17:40:00 (Beijing Time)

Lecture slides: chapter 4

2017-03-27 23:30:00 (Beijing Time)

Additional Reading Materials:

l  DPLL

2017-03-27 23:30:00 (Beijing Time)