Séances de cours associées à Adam and Eve

Atelier Coq: Introduction au théorème interactif

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.

Transformations linéaires : Théorèmes de dimension

Couvre les théorèmes de dimension pour les transformations linéaires, la bijectivité, l'isomorphisme, les espaces doubles et les applications canoniques.

Distribution des clés quantiques, codage dense, téléportation

Couvre QKD, Dense Coding et Teleportation, expliquant les attaques, les choix de base et les tests de sécurité.

Sans titre

Imagerie fonctionnelle du cerveau : traitement du signal

Couvre les techniques de neuroimagerie, la structure du cerveau, les bases de l'IRM et les mégadonnées dans la recherche sur le cerveau.