Page professionnelle de Colas Bardavid
Vous trouverez sur cette page des documents et ressources en mathématiques et en informatique.
Les cahiers de calcul
- Le cahier de calcul pour la Seconde
- Les cahiers de calcul pour le lycée
- Le cahier de calcul en maths pour la prépa
Les cahiers d’entraînements
- Le cahier d’entraînement en physique/chimie pour les premières années
- Le cahier d’entraînement en physique/chimie pour les deuxièmes années
Documents pédagogiques
Cours sur les catégories
J’ai commencé à donner en septembre 2020 un cours sur la théorie de catégories dont le but est l’interprétation topossique des méthodes de forcing de Cohen. Ce projet est pour l’instant à l’arrêt.
Recherches
Ma thèse portait sur des questions de géométrie algébrique, de théorie de Galois différentielle et de théorie des catégories.
En plus de ces sujets, je m’intéresse à la théorie des types.
Vidéos d’exercices corrigés
Ces vidéos ont été réalisées pendant le confinement de mars-juin 2020.
Fragments de code
Je mets ici à disposition des fragments de code, en particulier de code LaTeX.