Calendrier
Logique, calculabilité, typage – jeudi 16/5/2024
Ce stage présentera le contenu du cours Logique et Fondements de l'Informatique en lien avec la filière MPI des classes préparatoires.
Introduction à la sécurité matérielle – mardi 21/5/2024
Les menaces les plus connues exploitent des vulnérabilités logicielles. Moins célèbres sont celles qui ciblent le matériel électronique.
Introduction au calcul stochastique et à la théorie des erreurs – vendredi 24/5/2024
Construction du mouvement brownien et genèse de la première équation dite de Langevin.
Introduction à l’algorithmique des graphes – mercredi 29/5/2024
Les possibles structures de données pour la représentation des graphes, ainsi que des algorithmes classiques tels que Dijkstra, A∗, k-core de composition.
Inscriptions
- Logique, calculabilité, typage – jeudi 16/5/2024
- Introduction à la sécurité matérielle – mardi 21/5/2024
- Introduction au calcul stochastique et à la théorie des erreurs – vendredi 24/5/2024
- Introduction à l’algorithmique des graphes – mercredi 29/5/2024