MAT 3761 Introduction logique mathématique
3 units
Mathematics
Faculty of Science
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.
Components:
Lecture
Requirements:
English Equivalent:
No grade data.