Hugo Salou – ENS L3
Algorithmique 1/2
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 :
Mémoire structurée et logique de séparation
Chapitre 10 :
Réécriture
Projet fonctionnel
Chapitre 0 :
Introduction
Chapitre 1 :
Le λ-calcul pur
Chapitre 2 :
Le λ-calcul simplement typé
Chapitre 3 :
Introduction à la théorie de la démonstration
Chapitre 4 :
Le λ-calcul polymorphe
Chapitre 5 :
Les types linéaires
Logique
Chapitre 0 :
Introduction
Chapitre 1 :
Calcul propositionnel
Chapitre 2 :
Logique du premier ordre
Chapitre 3 :
Arithmétique de Peano
Chapitre 4 :
La théorie des ensembles
Chapitre 5 :
Deux théories décidables
Probabilités
Algèbre 1
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 12 :
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