Anciennes leçons : Différence entre versions

Version actuelle en date du 27 août 2021 à 20:56

• 107 -- Représentations et caractères d'un groupe fini sur un C-espace vectoriel. Exemples.
• 109 -- Représentations de groupes finis de petit cardinal.
• 110 -- Caractères d'un groupe abélien fini et transformée de Fourier discrète. Applications.
• 110 -- Structure et dualité des groupes abéliens finis. Applications.
• 124 -- Anneau des séries formelles. Applications.
• 127 -- Droite projective et birapport.
• 140 -- Corps des fractions rationnelles à une indéterminée sur un corps commutatif. Applications.
• 142 -- Algèbre des polynômes à plusieurs indéterminées. Applications.
• 143 -- Résultant. Applications.
• 149 -- Groupes finis de petit cardinal.
• 180 -- Coniques. Applications.
• 182 -- Applications des nombres complexes à la géométrie.
• 183 -- Utilisation des groupes en géométrie.
• 202 -- Exemples de parties denses et applications.
• 206 -- Théorèmes de point fixe. Exemples et applications.
• 216 -- Étude métrique des courbes. Exemples.
• 217 -- Sous-variétés de Rn. Exemples.
• 218 -- Applications des formules de Taylor.
• 224 -- Exemples de développements asymptotiques de suites et de fonctions.
• 232 -- Méthodes d'approximation des solutions d'une équation F(X)=0. Exemples.
• 233 -- Analyse numérique matricielle. Résolution approchée de systèmes linéaires, recherche d'éléments propres, exemples.
• 240 -- Produit de convolution, transformation de Fourier. Applications.
• 242 -- Utilisation en probabilités de la transformation de Fourier ou de Laplace et du produit de convolution.
• 244 -- Fonctions développables en série entière, fonctions analytiques. Exemples.
• 247 -- Exemples de problèmes d'interversion de limites.
• 249 -- Suites de variables de Bernoulli indépendantes.
• 250 -- Loi des grands nombres. Théorème de la limite centrale. Applications.
• 251 -- Indépendance d'événements et de variables aléatoires. Exemples.
• 252 -- Loi binomiale. Loi de Poisson. Applications.
• 254 -- Espaces de Schwartz S(R^d) et distributions tempérées. Transformation de Fourier dans S(R^d) et S'(R^d).
• 255 -- Espaces de Schwartz. Distributions. Dérivation au sens des distributions.
• 260 -- Espérance, variance et moments d'une variable aléatoire.
• 263 -- Variables aléatoires à densité. Exemples et applications.
• 901 -- Structures de données : exemples et applications.
• 902 -- Diviser pour régner : exemples et applications.
• 903 -- Exemples d’algorithmes de tri. Complexité.
• 906 -- Programmation dynamique : exemples et applications.
• 907 -- Algorithmique du texte : exemples et applications.
• 908 -- Automates Finis, exemples et applications
• 909 -- Langages rationnels. Exemples et applications.
• 910 -- Langages algébriques. Exemples et applications.
• 911 -- Automates à pile. Exemples et applications.
• 912 -- Fonctions récursives primitives et non primitives. Exemples.
• 913 -- Machines de Turing. Applications.
• 914 -- Décidabilité et indécidabilité. Exemples.
• 915 -- Classes de complexité : exemples.
• 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
• 917 -- Logique du premier ordre : syntaxe et sémantique.
• 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
• 919 -- Unification : algorithmes et applications.
• 920 -- Réécriture et formes normales. Exemples.
• 921 -- Algorithmes de recherche et structures de données associées.
• 922 -- Ensembles récursifs, récursivement énumérables. Exemples.
• 923 -- Analyses lexicale et syntaxique : applications.
• 924 -- Théories et modèles en logique du premier ordre. Exemples.
• 925 -- Graphes : représentations et algorithmes.
• 926 -- Analyse des algorithmes : complexité. Exemples.
• 927 -- Exemples de preuve d’algorithme : correction, terminaison.
• 928 -- Problèmes NP-complets : exemples de réductions.
• 929 -- Lambda-calcul pur comme modèle de calcul. Exemples.
• 930 -- Sémantique des langages de programmation. Exemples.
• 931 -- Schémas algorithmiques. Exemples et applications.
• 932 -- Fondements des bases de données relationnelles.