Introduction à la métalogique propositionnelle : complétude et décidabilité de la logique propositionnelle classique. Introduction à des variantes et alternatives logiques intuitionniste, multivalente, modale, floue, etc.
-
Crédits
3.0
- Cours offert au choix
- Cours hors programme
- Cours offert aux étudiants libres
- Cours offert dans la mineure en arts et sciences
Ce cours est offert dans ces programmes d'études
Aperçu des horaires
Pour obtenir les renseignements les plus à jour concernant l'horaire de ce cours, visitez le Centre étudiant. Si vous éprouvez des difficultés à naviguer dans le Centre étudiant, communiquez avec notre équipe.
- Accédez à la page Critères de recherche, en prenant soin de noter le sigle de cours (ex. SVS 1101)
- Choisissez le trimestre souhaité
- Dans le champ Matière, entrez les 3 premières lettres du sigle (ex. SVS)
- Dans le champ au-dessous, entrez les 4 ou 5 chiffres du sigle (ex. 1101)
- Cliquez sur Rechercher pour obtenir l’horaire du cours et autres informations utiles