一、課程說明(Course Desc<x>ription)
<br>Mathematical logic is the foundation of mathematics, and has many applications in 
<br>computer science, e.g., programming language, hardware/software verification and 
<br>synthesis. This course focuses on introducing the fundamental and important 
<br>elements of mathematical logic, and on covering some applications in computer 
<br>science.
<br>
<br>二、指定用書(Text Books)
<br>None
<br>
<br>三、參考書籍(References)
<br>1. Introduction to mathematical logic, by E. Mendelson, 4 ed.
<br>2. A mathematical introduction to logic, by H. B. Enderton, 2 ed.
<br>3. Principles of model checking, by C. Baier and J Katoen
<br>
<br>四、教學方式(Teaching Method)
<br>Lecturing with slides/white board
<br>
<br>五、教學進度(Syllabus)
<br>1. Introduction/Propositional logic
<br>2. Predicate logic
<br>3. Axiomatic system
<br>4. Axiomatic number system
<br>5. Temporal logic and model checking
<br>
<br>六、成績考核(Evaluation)
<br>1. Homework                    20%
<br>2. Midterm                     30%
<br>3. Final exam                  30%
<br>4. Selected topic presentation 20%
<br> 
<br>
<br>七、可連結之網頁位址
<br>http://nthucad.cs.nthu.edu.tw/~wcyao/ or iLMS