Pages les plus modifiées
Afficher ci-dessous jusqu’à 175 résultats dans la série #101 à #275.
Voir (250 précédentes | 250 suivantes) (20 | 50 | 100 | 250 | 500).
- 923 -- Analyses lexicale et syntaxique : applications. (11 versions)
- 901 -- Structures de données : exemples et applications. (11 versions)
- Théorème de Hahn-Banach (11 versions)
- 917 -- Logique du premier ordre : syntaxe et sémantique. (10 versions)
- Productions 4A (10 versions)
- 263 -- Variables aléatoires à densité. Exemples et applications. (10 versions)
- 222 -- Exemples d'équations aux dérivées partielles linéaires. (10 versions)
- 244 -- Fonctions développables en série entière, fonctions analytiques. Exemples. (10 versions)
- Comportement des nombres premiers dans un corps de nombre (10 versions)
- 903 -- Exemples d’algorithmes de tri. Complexité. (10 versions)
- 140 -- Corps des fractions rationnelles à une indéterminée sur un corps commutatif. Applications. (9 versions)
- 180 -- Coniques. Applications. (9 versions)
- Loi de réciprocité quadratique (9 versions)
- 217 -- Sous-variétés de Rn. Exemples. (9 versions)
- 254 -- Espaces de Schwartz S(R^d) et distributions tempérées. Transformation de Fourier dans S(R^d) et S'(R^d). (9 versions)
- 910 -- Langages algébriques. Exemples et applications. (9 versions)
- 921 -- Algorithmes de recherche et structures de données associées. (9 versions)
- 191 -- Exemples d'utilisation des techniques d'algèbre en géométrie. (9 versions)
- 915 -- Classes de complexité : exemples. (9 versions)
- Problème de séparation par automate (9 versions)
- Lemme de Morse (9 versions)
- 906 -- Programmation dynamique : exemples et applications. (8 versions)
- Borne de Bézout (8 versions)
- Sous-groupes compacts de GL n (8 versions)
- 918 -- Systèmes formels de preuve en logique du premier ordre : exemples. (8 versions)
- Ellipse de Steiner (8 versions)
- 110 -- Caractères d'un groupe abélien fini et transformée de Fourier discrète. Applications. (8 versions)
- 920 -- Réécriture et formes normales. Exemples. (8 versions)
- Guide de rangement (8 versions)
- 265 -- Exemples d'études et d'applications de fonctions usuelles et spéciales. (8 versions)
- 142 -- PGCD et PPCM, algorithmes de calcul. Applications. (8 versions)
- 110 -- Structure et dualité des groupes abéliens finis. Applications. (8 versions)
- 232 -- Méthodes d'approximation des solutions d'une équation F(X)=0. Exemples. (8 versions)
- 143 -- Résultant. Applications. (8 versions)
- 922 -- Ensembles récursifs, récursivement énumérables. Exemples. (8 versions)
- Formule d'inversion de Fourier (8 versions)
- 912 -- Fonctions récursives primitives et non primitives. Exemples. (8 versions)
- 913 -- Machines de Turing. Applications. (8 versions)
- 924 -- Théories et modèles en logique du premier ordre. Exemples. (8 versions)
- 925 -- Graphes : représentations et algorithmes. (8 versions)
- Lectures dirigées (8 versions)
- 926 -- Analyse des algorithmes : complexité. Exemples. (8 versions)
- 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. (8 versions)
- 928 -- Problèmes NP-complets : exemples de réductions. (7 versions)
- Nombre de matrices diagonalisables sur Fq (7 versions)
- Sous-groupes finis de SO(3) (7 versions)
- 908 -- Automates Finis, exemples et applications (7 versions)
- Théorème de Burnside (7 versions)
- Groupe circulaire (6 versions)
- 216 -- Étude métrique des courbes. Exemples. (6 versions)
- Endomorphismes cycliques, invariants de similitude et réduction de Frobenius (6 versions)
- Théorème de Kronecker (6 versions)
- 266 -- Illustration de la notion d'indépendance en probabilités. (6 versions)
- 127 -- Droite projective et birapport. (6 versions)
- Action du groupe modulaire sur le demi-plan de Poincaré (6 versions)
- Théorème de Molien (6 versions)
- Garey-Johnson (6 versions)
- Lecons 2012 (6 versions)
- Théorème des deux carrés (6 versions)
- Solution elementaire de l'equation de Schrodinger (6 versions)
- 242 -- Utilisation en probabilités de la transformation de Fourier ou de Laplace et du produit de convolution. (6 versions)
- Théorème de Cauchy-Lipschitz (5 versions)
- Sous-espaces de C(R,C) de dimension finie stables par translations (5 versions)
- Leçons d'informatique 20112012 (5 versions)
- Isomorphisme entre M n(K) et son dual (5 versions)
- Ellipsoïde de John-Lœwner (5 versions)
- Théorème de Frobenius-Zolotarev (5 versions)
- Leçons 2016 - 2017 (5 versions)
- Théorème de Weierstrass via les probabilités (5 versions)
- Surjectivité de l'exponentielle matricielle (5 versions)
- 911 -- Automates à pile. Exemples et applications. (5 versions)
- 267 -- Exemples d'utilisation de courbes en dimension 2 ou supérieure. (5 versions)
- Théorème de Lowenheim-Skolem (5 versions)
- Décomposition de Bruhat (5 versions)
- Marche aléatoire sur Z^d (5 versions)
- 149 -- Groupes finis de petit cardinal. (5 versions)
- Goblot (5 versions)
- Inégalité isopérimétrique (5 versions)
- Méthode de Laplace (5 versions)
- Méthode de Newton (4 versions)
- 251 -- Indépendance d'événements et de variables aléatoires. Exemples. (4 versions)
- Théorème de Higman (4 versions)
- Théorème d'inversion locale (4 versions)
- 252 -- Loi binomiale. Loi de Poisson. Applications. (4 versions)
- Théorème de Jordan (4 versions)
- Groupes de Lecture (4 versions)
- Fonction d'Ackermann (4 versions)
- Leçons 2013 - 2014 (4 versions)
- Un homéomorphisme réalisé par l'exponentielle matricielle (4 versions)
- Mansuy (4 versions)
- Etude de la loi Gamma (4 versions)
- Polynômes irréductibles sur Fq (4 versions)
- Marche aléatoire sur Z (4 versions)
- Théorème de Gauß pour les polygones réguliers constructibles (4 versions)
- Une méthode itérative de résolution de systèmes linéaires (4 versions)
- Arithmétique de Presburger (4 versions)
- Convergence d'une suite de polygônes vers l'isobarycentre (4 versions)
- Primalité des nombres de Mersenne (4 versions)
- PSA est NP-Complet (4 versions - page de redirection)
- 247 -- Exemples de problèmes d'interversion de limites. (4 versions)
- Probabilité que deux entiers soient premiers entre eux (4 versions)
- Théorème de stabilité de Lyapounov (4 versions)
- Intégrale de Fresnel (4 versions)
- Théorème de Hadamard-Lévy (4 versions)
- Automorphismes de ZnZ (4 versions)
- Théorème de Cartan-Dieudonné (4 versions)
- 149 -- Valeurs propres, vecteurs propres. Calculs exacts ou approchés d'éléments propres. Applications. (4 versions)
- Solutions prolongeables de l'équation de Legendre (4 versions)
- Critère de Weyl (3 versions)
- Partitions d'un entier en parts fixées (3 versions)
- Théorème d'Ascoli (3 versions)
- Groupes d'ordre 12 (3 versions)
- Groupes d'ordre pq (3 versions)
- Tri polyphasé (3 versions)
- Classification des groupes de pavage du plan (3 versions)
- Théorème d'échantillonnage de Shannon (3 versions)
- Théorème de Krein-Milman (3 versions)
- Commutant d'un endomorphisme (3 versions)
- Réduction des matrices normales (3 versions)
- Hachage parfait (3 versions)
- Arbres binaires de recherche optimaux (3 versions)
- Orthodiagonalisation des endomorphismes auto-adjoints (3 versions)
- Théorème de d'Alembert-Gauss (3 versions)
- Théorème de l'élément primitif (3 versions)
- Simplicité de An (3 versions)
- Une version faible du théorème de Dirichlet (3 versions)
- 2SAT est décidable en temps linéaire (3 versions)
- Automate des occurrences (3 versions)
- Le paradoxe de Banach-Tarski (3 versions)
- Théorème de Caratheodory (3 versions)
- Algorithme d'unification (3 versions)
- Décomposition de Dunford (3 versions)
- Simplicité de SO(3) (3 versions)
- TCL pour les quantiles (3 versions)
- Théorème de Müntz (3 versions)
- Fiches d'algèbre (3 versions)
- Théorème de Rice (3 versions)
- 250 -- Loi des grands nombres. Théorème de la limite centrale. Applications. (3 versions)
- Algèbre (2 versions)
- Irréductibilité des polynômes cyclotomiques (2 versions)
- Théorème de Riesz - Fischer (2 versions)
- Analyse (2 versions)
- 929 -- Lambda-calcul pur comme modèle de calcul. Exemples. (2 versions)
- Dasgupta (2 versions)
- Théorème de Cook (2 versions)
- Analyse LR(0) (2 versions)
- Théorème de Sylow (2 versions)
- 930 -- Sémantique des langages de programmation. Exemples. (2 versions)
- Densité des fonctions continues nulle part dérivables (2 versions)
- Rouvière (2 versions)
- Théorème de Fejér (2 versions)
- Plus longue sous-séquence commune (2 versions)
- Théorème de Banach-Steinhaus et application aux séries de Fourier (2 versions)
- Théorème de Wedderburn (2 versions)
- 931 -- Schémas algorithmiques. Exemples et applications. (2 versions)
- Loi forte des grands nombres (2 versions)
- Ladegaillerie (2 versions)
- Ordre de simplification / Lemme de Highman / Théorème de Kruskal (2 versions)
- Complétude de la méthode de résolution (2 versions)
- 932 -- Fondements des bases de données relationnelles. (2 versions)
- Des illustrations pour les leçons de groupes (2 versions)
- Exemple d'un programme PROLOG (2 versions)
- Le folium de Descartes (2 versions)
- Cori-Lascar (2 versions)
- Universalité d'un langage rationnel (2 versions)
- Cormen (2 versions)
- Algorithme de Hopcroft (2 versions)
- Dénombrement des polynomes irréductibles unitaires sur Fp (2 versions)
- Autres productions 1A (2 versions)
- Correction des règles de Hoare (2 versions)
- Gozard (2 versions)
- Théorème des fonctions implicites (2 versions)
- Inégalités de Kolmogorov (2 versions)
- Fiches d'analyse (2 versions)
- Thm de Presburger (2 versions)
Voir (250 précédentes | 250 suivantes) (20 | 50 | 100 | 250 | 500).
