Beskrivelse
Elementær logikk, proposisjonell og predikatlogikk, kvantorer, mengder og funksjoner, bijeksjoner og elementær kombinatorikk, begrepet uendelighet, relasjoner, velordnethet og induksjon. Øving i matematisk bevisføring i elementær tallteori og kombinatorikk.
Forkunnskaper
- Forutsetning(er): Ontario Grade 12 Mathematics: Advanced Functions, eller MATH 0005, eller tilsvarende.
Vilkår og bestemmelser
- Forhindrer ekstra studiepoeng for Forhindrer ekstra studiepoeng for MATH 1805 (tilbys ikke lenger), COMP 1805 .
- Forutsetning(er): Ontario Grade 12 Mathematics: Advanced Functions, eller MATH 0005, eller tilsvarende.
- Forelesninger tre timer i uken, veiledning én time i uken.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/MATH/