描述
符号逻辑、命题演算与谓词演算、集合论与模型论、完备性。
先修课程
- 先决条件：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/