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 - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.