Enseignement

Les documents ci-dessous sont utilisables sans restriction à des fins d’enseignement. Les commentaires, suggestions et corrections sont bienvenus. Les sources LaTeX et quelques corrigés sont disponibles sur demande.

Some documents are available in English, indicated with a british flag. Feel free to use them. Any comment or correction is welcome.

Liste chronologique des enseignements passés

Enseignement de l’année :

Automne

Printemps

Liste thématique

Algorithmique

Algorithmique
L3 (2023-)
types abstraits de données et implantations, diviser pour régner, recherche exhaustive, programmation dynamique, algorithmes probabilistes, algorithmes d’approximation
Algorithmique
L3 (2021-2022)
recherche exhaustive, algorithmes probabilistes, analyse amortie, fonctions de hachage, algorithmes d’approximation
Algorithmique probabiliste
M1 (2016-2020)
conception et analyse d’algorithmes probabilistes, structures de données probabilistes, approximation probabiliste
Algorithmique et complexité
L2 (2018-2020)
arbres et graphes, algorithmes glouton, diviser pour régner, programmation dynamique
Algorithmique avancée
DIU EIL (2018-2020)
arbres et graphes, programmation dynamique, recherche textuelle, calculabilité et complexité
TD d’algorithmique
L3 (2011-2013)
diviser-pour-régner, programmation dynamique, algorithmes gloutons, analyse de complexité (bornes inférieures, supérieures, analyse amortie, séries génératrices), structures de données (listes, tableaux, tables de hachage), NP-complétude et algorithmes d’approximation.

Cryptographie

Introduction to cryptology
M1 (2022-)
symmetric and asymmetric encryption, key exchange, (cryptographic) hash functions, message authentication codes, signatures, provable security
Crypto Engineering
M2 (2022-2023)
symmetric encryption, hash functions, message authentication codes
Cryptographie
M1 (2021-2022)
chiffrement symétrique et asymétrique, échange de clefs, fonctions de hachage (cryptographiques), codes d’authentification, signatures, sécurité prouvée

Algèbre, calcul formel, codes correcteurs

Algèbre et arithmétique effectives
L3 (2022-2024)
entiers et entiers modulaires, structures algébriques, algèbre linéaire exacte
Calcul formel et scientifique
L3 (2021-2022)
découverte du logiciel SageMath
Théorie de l’information
M1 (2021-2022)
codes de Reed-Solomon et leur décodage
Calcul formel, codes et cryptographie
M2 (2015-2022)
algorithmique entière naïve, algorithmique polynomiale rapide, un peu de codes correcteurs et de cryptographie

Complexité et calculabilité

Modèles de calcul – machines de Turing
L3 (2023-)
machines de Turing, (in)calculabilité
TD de Complexité algorithmique
M1 (2010-2012)
classes de complexité : en temps ou en espace, déterministes, non-déterministes, probabilistes, non-uniformes, parallèles ; problèmes complets ; hiérarchies
TD de Fondements de l’Informatique
L3 (2010-2011)
automates, grammaires, réécriture

Formation des enseignants

Préparation au CAPES
M1 MEEF (2016-2022)
quelques cours et TD de préparation au CAPES, (assez) nombreux sujets d’écrits blancs
Algorithmique avancée
DIU EIL (2018-2020)
arbres et graphes, programmation dynamique, recherche textuelle, calculabilité et complexité
Représentation des données
DIU EIL (2018-2020)
représentation des nombres, représentation des images

Liste chronologique

déplier toutreplier tout

Année 2023-2024

Année 2022-2023

Année 2021-2022

Année 2020-2021

Année 2019-2020

Année 2018-2019

Année 2017-2018

Année 2016-2017

Année 2015-2016

Année 2014-2015

Année 2013-2014

Année 2012-2013

Année 2011-2012

Année 2010-2011

Dernière modification : 8 février 2024