Faculty of Arts & Science · St. George
CSC438H1
Computability and Logic
What was the average?
Not reported
No student has contributed a result for this offering yet.
How is it graded?
Not yet verified
No syllabus we can lawfully use has been verified for this course.
How confident is this?
Unknown
A small number of terms, so read it as a range.
From the calendar
Official source · Faculty of Arts & ScienceComputable functions, Church's thesis, unsolvable problems, recursively enumerable sets. Predicate calculus, including the completeness, compactness, and Lowenheim-Skolem theorems. Formal theories and the Gödel Incompleteness Theorem. Ordinarily offered in years alternating with CSC448H1.
- Exclusions
- MAT309H1PHL348H1
- Contact hours
- 24 lecture · 12 tutorial
- Total scheduled hours for the course, not per week.
How well we know this course
2015–2023Pyko’s archive holds 7 documents for CSC438H1, across 5 years between 2015 and 2023.
- 2
- Final exams
- 2
- Midterms
- 1
- Solution sets
- 2
- Problem sets
Both a midterm and a final appear in what we hold, so this course has historically been assessed on both rather than on a single end-of-term paper.
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 |
| 7 archived documents, 2015-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.
Around this course
Everything above is history. Yours isn’t written yet.
Add CSC438H1 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.