一、課程說明(Course Description)
<br>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.
<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
<br>
<br>五、教學進度(Syllabus)
<br>1. Introduction
<br>2. Sentential logic
<br>3. First-order logic
<br>4. Applications
<br>
<br>六、成績考核(Evaluation)
<br>Homework 25%
<br>Midterm 25%
<br>Final 35%
<br>Project 15%
<br>
<br>七、可連結之網頁位址
<br>