COURS // MAT7050 Indécidabilité, langages et automates
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 : 2
- Nombre de crédits : 3
- Discipline : Mathématiques
Description
Notions générales sur les fonctions récursives. Méthode générale de démonstration de l'indécidabilité des théories. Automates, machines séquentielles.
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.