描述
初等逻辑、命题与谓词演算、量词、集合与函数、双射与初等计数、无穷概念、关系、良序与归纳。通过初等数论与组合学练习数学证明的实践。
先修课程
- 先修课程：安大略省12年级数学：高级函数，或 MATH 0005，或同等课程。
条件与方式
- 与 MATH 1805（不再开设）、COMP 1805 不得同时计学分。
- 先修课程：安大略省12年级数学：高级函数，或 MATH 0005，或同等课程。
- 每周三小时讲座，每周一小时辅导。
原文参考文本
Elementary logic, propositional and predicate calculus, quantifiers, sets and functions, bijections and elementary counting, the concept of infinity, relations, well ordering and induction. The practice of mathematical proof in elementary number theory and combinatorics.
- Prerequisite(s): Ontario Grade 12 Mathematics: Advanced Functions, or MATH 0005 , or equivalent.
- Precludes additional credit for Precludes additional credit for MATH 1805 (no longer offered), COMP 1805 .
- Lectures three hours a week, tutorial one hour a week.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/undergrad/courses/MATH/