Description
Logique symbolique, calcul propositionnel et calcul des prédicats, théorie des ensembles et théorie des modèles, complétude.
Préalables
- Condition(s) préalable(s) : MATH 2100 ou permission de l’École.
Conditions et modalités
- Condition(s) préalable(s) : MATH 2100 ou permission de l’École.
- Cours magistral de trois heures par semaine.
Texte de référence dans sa langue d’origine
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
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/undergrad/courses/MATH/