Description
Cours de deuxième cycle de base en logique mathématique. Logique propositionnelle et prédicative, théorie de la démonstration, élimination des coupures de Gentzen, complétude, compacité, modèles de Henkin, théorie des modèles, arithmétique et indécidabilité. Sujets spéciaux (si le temps le permet) selon les intérêts de l’enseignant et de l’auditoire.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/MATH/