Bloc Informatique (6 ou 12 ECTS)

Liste des enseignements

• Au choix : 1 à 2 parmi 5

  • Traitement de la langue naturelle

    6 crédits22h

  • Complexité Randomisée

    6 crédits48h

  • Introduction à l'intelligence artificielle

    6 crédits48h

  • Programmation fonctionnelle et preuve formelle en COQ

    6 crédits48h

  • Théories des calculs

    6 crédits24h