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 |
2017-03-27 23:30:00 (Beijing Time) |
|
2017-02-22 22:00:00 (Beijing Time) |
|
Additional Reading Materials: |
2017-02-22 22:00:00 (Beijing Time) (Provided by Prof. Hanpin Wang from PKU) |
2017-03-05 22:00:00 (Beijing Time) |
|
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) |
2017-03-27 23:30:00 (Beijing Time) |
|
Additional Reading Materials: l
DPLL |
2017-03-27 23:30:00 (Beijing Time) |