COURS // INF9340 Logique computationnelle
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 3
- Nombre de crédits : 3
- Discipline : Informatique
Description
Déduction et calcul, déduction naturelle, logique linéaire, lambda calcul, combinateurs, catégories cartésiennes fermées, théorie des types, théorie des constructions, mécanisation des logiques d'ordre supérieur, procédures de décision, heuristiques, mathématiques constructives. Applications: programmation fonctionnelle, programmation logique, démonstration de théorèmes assistée par ordinateur, langages formels de spécifications.
Horaire - Hiver 2021
Les modalités d’enseignement des cours du trimestre d’hiver 2021 sont maintenant à jour.
Horaire - Été 2021
L’UQAM met actuellement à jour les horaires de cours pour le trimestre d'été 2021. Les modalités d’enseignement seront disponibles au plus tard le 8 mars prochain.
Horaire - Automne 2021
L’UQAM met actuellement à jour les horaires de cours pour le trimestre d'automne 2021. Veuillez ne pas tenir compte des informations actuellement affichées quant aux modalités d’enseignement. Ces modalités seront bientôt précisées en fonction de l’évolution de la situation actuelle et des directives gouvernementales.