課程說明
形式邏輯在電腦科學中的應用。以古典謂詞演算等符號邏輯表示領域知識、建模計算問題，並以自動推理器解決。應用包括人工智慧、軟體工程、資料管理與硬體驗證。
先修條件
- 先修課程：COMP 2804。
條件與方式
- 先修課程：COMP 2804。
- 每週授課三小時。
原文參考文本
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/undergrad/courses/COMP/