UE Modèles de calcul

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

Descriptif

Compréhension de la puissance et des limitations des modèles de calcul classiques.
Bonne vision des ressemblances et différences entre les modèles de calcul.
Pratique de la programmation en Machines de Turing et en lambda-calcul.

Pré-requis

Bases de la logique - Automates d'états finis

Informations complémentaires

Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Français