Courseflix
Browse
MATScience · 0.5 credits · 36L/12T

MAT309H5

Introduction to Mathematical Logic

Upper-yearMath-Heavy
Overall
no data yet
Difficulty
no data yet
Workload
no data yet
Would take again
no data yet

No student ratings yet. These metrics will appear after students submit reviews.

About this course

The relationships among axioms, proofs, consistency and truth in mathematics. Soundness and Completeness. Introductions to model theory, set theory, and computability; arithmetic as a central example. Gödel's incompleteness theorems; outlines of their proofs.

Prerequisite path

MAT257Y5 or [ MAT236H5 and ( MAT202H5 or MAT224H5 or MAT240H5 ) and 0.5 additional credit of MAT at the 300+ level]

Student ratings (0)

Sign in to rate

Because you're looking at MAT309H5

More Science

ANT department
Science
ANT101H5
Introduction to Biological Anthropology and Archaeology
—0.5 cr
🦅 Light workload signal💻 Project/lab signal
ANT department
Science
ANT200H5
Introduction to the Practice of Archaeology
—0.5 cr
🦅 Light workload signal
ANT department
Science
ANT201H5
World Archaeology
—0.5 cr
🦅 Light workload signal
ANT department
Science
ANT202H5
Biological Anthropology: Human Variation and Adaptation
—0.5 cr
🦅 Light workload signal
ANT department
Science
ANT203H5
Biological Anthropology: Primatology and Palaeoanthropology
—0.5 cr
🦅 Light workload signal
ANT department
Science
ANT205H5
Introduction to Forensic Anthropology
—0.5 cr
🦅 Light workload signal💻 Project/lab signal