No student has contributed a result for this offering yet.
How is it graded?
44% final
From the Fall 2026 syllabus. 125 graded components.
How confident is this?
Unknown
A small number of terms, so read it as a range.
From the calendar
Official source · University of Toronto Mississauga
This course explores the relationships among axioms, proofs, consistency, and truth in mathematics. It covers model theory, set theory, computability, and Gödel's incompleteness theorems with an emphasis on mathematical rigour.
Exclusions
CSC438H1MAT309H1MAT409H1MATC09H3
Contact hours
36 lecture · 12 tutorial
Total scheduled hours for the course, not per week.
44% of the grade is decided in the final alone. Steady coursework cannot carry this course on its own.
Extracted from a published Fall 2026 syllabus — verified against the university's own document. Components that could not be labelled are shown unresolved rather than folded into a neighbouring category.
lowest 2 homework(s) dropped
How well we know this course
2022–2024
Pyko’s archive holds 2 documents for MAT309H5, across 2 years between 2022 and 2024.
1
Final exams
1
Syllabi
Counts, not a library. Pyko does not host or distribute course files, and this page is not an offer to supply one — the archive is what lets these pages describe how a course is assessed.
What we don’t have yet
A course averageNo term has been reported for this offering. Averages come from students who contribute their own results, and nobody has yet.
Instructor-level detailAverages are not split by instructor. At these sample sizes the difference between sections is noise, not signal.
Pyko is an independent student platform. It is not affiliated with, endorsed by, or operated by the University of Toronto. Course names and codes are used descriptively to identify courses.
MAT309H5 grade breakdown & past exams — UofT | Pyko
