Описание
Элементарная логика, исчисление высказываний и предикатов, кванторы, множества и функции, биекции и элементарный подсчет, понятие бесконечности, отношения, добротно-упорядочивание и индукция. Практика математического доказательства в элементарной теории чисел и комбинаторике.
Предварительные требования
- Предпосылки: Математика уровня 12 Онтарио: Advanced Functions, или MATH 0005, или эквивалент.
Условия и порядок
- Не засчитывается одновременно с MATH 1805 (больше не предлагается), COMP 1805 .
- Предпосылки: Математика уровня 12 Онтарио: Advanced Functions, или 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/