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 pour les expressions arithmétiques simples (EA)
Chapitre 5 :
Sémantique opérationnelle pour les expressions arithmétiques avec déclarations locales (LEA)
Chapitre 6 :
Un petit langage fonctionnel : FUN
Chapitre 7 :
Typage en FUN
Chapitre 8 :
Un petit langage impératif : IMP
Chapitre 9 :
Logique de programmes
Chapitre 10 :
Mémoire structurée et logique de séparation
Chapitre 11 :
Réécriture
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
TD 10 :
Représentation des groupes
TD 11 :
Théorie des caractères
TD 13 :
Tables de caractère
Intégration et mesure
Théorie des catégories
DM n°1 :
Catégories, foncteurs et équivalences
DM n°2 :
Constructions catégoriques et limites
DM n°3 :
Yoneda, représentabilité et adjonctions