一、課程說明(Course Description)
<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
<br>2. Sentential logic
<br>3. Predicate logic
<br>4. Axiomatic (number) system
<br>5. Other logic
<br>
<br>六、成績考核(Evaluation)
<br>1. Homework                    20%
<br>2. Midterm                     30%
<br>3. Final exam                  40%
<br>4. Selected topic presentation 10%
<br> 
<br>
<br>七、可連結之網頁位址
<br>http://nthucad.cs.nthu.edu.tw/~wcyao/