説明
初等論理、命題および述語解析、量化子、集合と写像、全単射と初等的な数え上げ、無限の概念、関係、良順序と帰納法。初等整数論と組合せ論における数学的証明の実践。
前提条件
- 前提科目：オンタリオ州グレード12数学：Advanced Functions、またはMATH 0005、または同等の科目。
条件および詳細
- 以下の科目で追加単位取得は認められません: MATH 1805（提供終了）、COMP 1805。
- 前提科目：オンタリオ州グレード12数学：Advanced Functions、またはMATH 0005、または同等の科目。
- 講義週3時間、チュートリアル週1時間。
原語による参照テキスト
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/