Cours MAT7050 – Indécidabilité, langages et automates
2e cycle
3 crédits
Mathématiques
À confirmer
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.