Niveau d'étude
Bac +3
ECTS
6 crédits
Crédits ECTS Echange
6.0
Composante
UFR IM2AG (informatique, mathématiques et mathématiques appliquées)
Période de l'année
Printemps (janv. à avril/mai)
Description
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.
Heures d'enseignement
- TDTD24h
- CMCM24h
Pré-requis recommandés
Bases de la logique - Automates d'états finis
Période
Semestre 6