MAT 3361 Introd to Mathematical Logic
3 crédits
Mathematiques
Faculte des sciences
Formal approaches to propositional and predicate logic. Syntax and Semantics. Formal proof systems. Completeness and compactness. Formal theories and their models. Topics chosen from: logics in computer science, foundations of mathematics, set theory, computability theory.
Volet:
Cours magistral
Exigences:
Terme proposées précédemment:
Hiver
Équivalent Français:
Organisé
24 réponses
4.58
/ 5
Attentes claires
8 réponses
4.00
/ 5
Beaucoup Appris
24 réponses
4.70
/ 5
Recommander
15 réponses
4.53
/ 5
Charge de Travail
16 réponses
2.56
/ 5
Évaluations Équitables
24 réponses