MAT 309H1
Introduction to Mathematical Logic
Predicate 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.
Prerequisites & course information
Prerequisite: MAT257Y1 / [ MAT223H1 / MATA23H3 / MAT223H5 / MAT240H1 / MAT240H5 , ( MAT235H1 , MAT236H1 )/ MAT235Y1 / MAT235Y5 / ( MAT232H5 , MAT236H5 )/ ( MATB41H3 , MATB42H3 / MATB43H3 )/ MAT237Y1 / MAT237Y5 , MAT246H1 / (MAT1581, MAT159H1 )/ MAT157Y1 / ( MAT157H5 , MAT159H5 )/ MAT157Y5 / CSC236H1 / CSC240H1 ]; Prerequisite:; Exclusion: CSC438H1; Exclusion:
Sources
- Course catalogue ↗2026-2027