MAT 3761 Introduction logique mathématique
3 crédits
Mathematiques
Faculte des sciences
Approche formelle de la logique propositionnelle et des prédicats, syntaxe et sémantique, systèmes de preuves formelles, complétude et compacité. Théories formelles et leurs modèles. Sujets choisie de la liste suivantes: logique en informatique, les fondements des mathématiques, la théorie des ensembles, la théorie du calcul.
Volet:
Cours magistral
Exigences:
Équivalent Anglais:
Pas de données sur les notes.