課程說明
符號邏輯、命題及謂詞演算、集合論與模型論、完備性。
先修條件
- 先修科目：MATH 2100，或經本學院允許。
條件與方式
- 先修科目：MATH 2100，或經本學院允許。
- 每週授課三小時。
原文參考文本
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/undergrad/courses/MATH/