Discrete mathematics Software so Fudan unive February 28, 2012
Discrete Mathematics Software School Fudan University February 28, 2012 (Fudan University) Discrete Mathematics February 28, 2012 1 / 7
Overview o Instructors Name: Li Yi oEmail:liy@fudan.edu.cn o Office: Room 315, Software Building Office hour: Tuesday 13: 30-14: 30 o Phone:51355373-8008 O TAs o Ding Shenglong Gu Jiaqi o Zhao Qiong Guo Sh
Overview Instructors Name: Li Yi Email: liy@fudan.edu.cn Office: Room 315, Software Building Office hour: Tuesday 13:30 - 14:30 Phone: 51355373 - 8008 TAs Ding Shenglong Gu Jiaqi Zhao Qiong Guo Shu (Fudan University) Discrete Mathematics February 28, 2012 2 / 7
Retrospection Set theory o Combinatorics ● Graph theory o abstract algebra
Retrospection Set theory Combinatorics Graph theory Abstract algebra (Fudan University) Discrete Mathematics February 28, 2012 3 / 7
T OpICS Introduction to lattice o Proposition logic o Predict logic
Topics Introduction to lattice Proposition logic Predict logic (Fudan University) Discrete Mathematics February 28, 2012 4 / 7
Text book references 9 Text book Logic for application o Reference book o A Mathematical introduction to logic, Enderton o Set theory and logic, Shen Enshao
Text book & references Text book Logic for application Reference book A Mathematical introduction to logic, Enderton Set theory and logic, Shen Enshao (Fudan University) Discrete Mathematics February 28, 2012 5 / 7