一、課程說明(Course Description)
Mathematical logic is the foundation of mathematics, and has many applications in
computer science, e.g., programming language, hardware/software verification and
synthesis. This course focuses on introducing the fundamental and important
elements of mathematical logic, and on covering some applications in computer
science.

二、指定用書(Text Books)
None

三、參考書籍(References)
1. Introduction to mathematical logic, by E. Mendelson, 4 ed.
2. A mathematical introduction to logic, by H. B. Enderton, 2 ed.
3. Principles of model checking, by C. Baier and J Katoen

四、教學方式(Teaching Method)
Lecturing with slides/white board

五、教學進度(Syllabus)
1. Introduction/Propositional logic
2. Predicate logic
3. Axiomatic system
4. Axiomatic number system
5. Temporal logic and model checking

六、成績考核(Evaluation)
1. Homework 20%
2. Midterm 25%
3. Final exam 30%
4. Selected topic presentation 10%
5. Programming assignment 15%


七、可連結之網頁位址
http://nthucad.cs.nthu.edu.tw/~wcyao/ or iLMS