Catalogue des formations

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

• Licence Informatique

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 recommandés

Bases de la logique - Automates d'états finis

Informations complémentaires

Lieu(x) : Grenoble
Langue(s) : Français