Hugo Salou – ENS L3
Algorithmique
Théorie de la programmation
Chapitre 0 :
Introduction
Chapitre 1 :
Induction
Chapitre 2 :
Théorèmes de point fixe
Chapitre 3 :
Les bases de Rocq
Chapitre 4 :
Sémantique opérationnelle
Algèbre
TD 1 :
Relations d’équivalences, quotients et groupes
TD 2 :
Théorèmes d’isomorphismes et actions de groupes
TD 3 :
Actions de groupes et théorèmes de Sylow
TD 4 :
Groupe symétrique
TD 5 :
Quotient et dualité
TD 6 :
Transposition, orthogonalité, et formes bilinéaires
TD 7 :
Formes quadratiques
TD 8 :
Formes quadratiques – épisode 2
TD 9 :
Produits tensoriels