MAT 5161 Mathematical Logic
3 crédits
Mathematiques
Faculte des sciences
A basic graduate course in mathematical logic. Propositional and Predicate logic, Proof theory, Gentzen's Cut-Elimination, Completeness, Compactness, Henkin models, model theory, arithmetic and undecidability. Special Topics (time permitting) depending on interests of instructor and audience. This course is equivalent to MATH 5301 at Carleton University.
Volet:
Cours magistral
Exigences:
Prerequisite: Honours undergraduate algebra, analysis and topology (or permission of the instructor).
Terme proposées précédemment:
Hiver