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 recommandés
Bases de la logique - Automates d'états finis
Informations complémentaires
Lieu(x) : GrenobleLangue(s) : Français
En bref
Période : Semestre 6Crédits : 6
Volume horaire
- TD : 24h
- CM : 24h
Contact(s)
Responsable pédagogique
Frederic Prost
Jean Francois Monin

Etudiants internationaux
Ouvert aux étudiants en échange
Crédits : 0.0
Crédits : 0.0