@尊重智慧財產權,請同學勿隨意影印教科書 。 Please respect the intellectual property rights, and shall not copy the textbooks arbitrarily.

科目代碼	CSU0012	課程名稱	邏輯概論
英文名稱	Introduction to Logic
全/半年	半	必/選修	選修
學分數	3.0	每週授課時數	正課時數: 3.0 小時, 實驗時數: 0.0 小時
先修課程
課程簡介	本門課程首先介紹Propositional logic，以建立Boolean expression的基本模式；接下來介紹Predicate logic，或稱First-order logic，以更為豐富的表示法，陳述推理的過程。最後，配合以上各種邏輯基本原理，應用在程式的正確性及執行時間的證明上。
課程目標		對應系所核心能力
1.　了解何為Propositional logic		學士: 　1-3 能熟悉資訊及數學理論基礎
2.　了解何為Predicate logic		學士: 　1-3 能熟悉資訊及數學理論基礎
3.　建立學生邏輯推理之能力		學士: 　1-3 能熟悉資訊及數學理論基礎