UE Calculabilité

Diplômes intégrant cet élément pédagogique :

Descriptif

Savoir montrer qu'un problème est décidable, indécidable, semi-décidable, et plus si affinité (hiérarchie arithmétique), en mettant en œuvre les résultats fondamentaux et la thèse ou la filière de Church.
Pouvoir comprendre l'énoncé et le principe de preuve des résultats théoriques, et savoir les interpréter dans le cadre de l'informatique pratique.

Pré-requis

Modèles de calcul, langages et grammaires formels, automates, méthodes de preuve, mathématiques de base

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Français