Faculty of Arts & Science · St. George
MAT309H1
Introduction to Mathematical Logic
What was the average?
C
2 GPA across 1 observed term. Most recent: Fall 2025.
How is it graded?
Not yet verified
No syllabus we can lawfully use has been verified for this course.
How confident is this?
Low
A small number of terms, so read it as a range.
From the calendar
Official source · Faculty of Arts & SciencePredicate calculus. Relationship between truth and provability; Gödel's completeness theorem. First order arithmetic as an example of a first-order system. Gödel's incompleteness theorem; outline of its proof. Introduction to recursive functions.
- Exclusions
- CSC438H1
- Contact hours
- 36 lecture
- Total scheduled hours for the course, not per week.
What people actually got
Last observed Fall 20251 term observed
This is a student-contributed aggregate, not an official University of Toronto record. It is also not a measure of how hard the course is — a course average moves with who enrols in it, not only with the material.
This rests on 1 reported term. It is shown because hiding it would not make it less true, but one or two results are a datapoint, not a distribution — a single unusual cohort moves this number a long way.
How well we know this course
2019–2023Pyko’s archive holds 4 documents for MAT309H1, across 3 years between 2019 and 2023.
- 2
- Final exams
- 2
- Problem sets
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, which matters most where no syllabus has been verified.
What we don’t have yet
Source ledger
Report an error →| Claim | Source | Captured | Status |
|---|---|---|---|
| Course description, prerequisites, exclusions, contact hours | Faculty of Arts & Science | 2026-07-25 | public fact |
| Historical average across 1 term | Student contributions, consented | 2026-07-25 | user contributed aggregate |
| 4 archived documents, 2019-2023 | Pyko archive | 2026-07-25 | index only |
Page last verified 2026-07-25. A claim whose source moves is withdrawn before it goes stale.
What this opens up
3 courses list MAT309H1 as a prerequisiteThe other 2 have no page yet. Listing a course here means it names MAT309H1 among its prerequisites — often as one of several ways to satisfy the same requirement, so this is what MAT309H1 makes available, not what it alone guarantees.
Around this course
You’ve read the average. Now use it.
Add MAT309H1 and Pyko tracks what you've earned against your own grading scheme.
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.