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)
Responsables pédagogiques
Pascal Fradet
Bruno GRENET
Etudiants internationaux
Ouvert aux étudiants en échange dans la limite des capacités d'accueil
Crédits : 6.0
Crédits : 6.0