Nota : Ceci est la version 2012–2013 de l’annuaire électronique. Veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur pour une version plus récente de cette page, ou cliquez ici pour consulter l'annuaire la plus récente.
Vue d'ensemble
Mathématiques et Statistiques (Sci) : Propositional logic and first order logic, completeness, compactness and Löwenheim-Skolem theorems. Introduction to axiomatic set theory. Some of the following topics: introduction to model theory, Herbrand's and Gentzen's theories, Lindström's characterization of first order logic.
Trimestres : Ce cours n’est pas au programme de l’année universitaire 2012-2013.
Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2012-2013.
Winter
Prerequisites: MATH 488 or equivalent or consent of instructor