Module « Calculabilité »
Volume horaire
- 20 heures de cours magistral.
- 20 heures de travaux dirigés.
Description du module
- Programmes branchants, machines de Turing, récursivité, lambda calcul.
- Indéterminisme et calcul.
- Calculabilité, complexité en temps et en espace.
- Hiérarchies de complexité, problèmes P et NP. Exemples.
- Programmes génétiques, calcul par ADN.
- Neurosciences et calcul.
- Réseaux de neurones formels.
- Mémoires associatives, apprentissage.