Mathias Millet

Cursus

Baccalauréat scientifique à Grenoble en 2008, puis 3 année en CPGE toujours à Grenoble, avant d'intégrer l'ENS Cachan à l'antenne de Bretagne en informatique.

Cours suivis en informatique

  • Algorithmique
  • Etude de complexité, graphes
  • Architecture et Système
  • Langages Formels
  • Programmation
  • Introduction aux grands principes de la programmation à travers plusieurs langages, comme Caml et Java.
  • Logique et Calculabilité
  • Machine de Turing, labda calcul, non-calculabilié, calcul des propositions, des prédicats, preuves par réesolution, fondement de la programmation logique, logique temporelle.
  • Image
  • Traitement, analyse et synthèse d'images.

    Cours suivis en mathématiques

  • Probabilités et statistiques
  • Intégration et probabilités
  • Anneaux et arithmétique
  • Topologie générale
  • Algèbre numérique
  • Calcul différentiel et fonctions holomorphes
  • Intégrale de Lebesgue et analyse de Fourier
  • Espaces vectoriels normés