Pages sans liens inter-langues

Afficher ci-dessous jusqu’à 100 résultats dans la série #51 à #150.

Voir (100 précédentes | 100 suivantes) (20 | 50 | 100 | 250 | 500).

51. 203 -- Utilisation de la notion de compacité.
52. 204 -- Connexité. Exemples et applications.
53. 205 -- Espaces complets. Exemples et applications.
54. 206 -- Théorèmes de point fixe. Exemples et applications.
55. 207 -- Prolongement de fonctions. Exemples et applications.
56. 208 -- Espaces vectoriels normés, applications linéaires continues. Exemples.
57. 209 -- Approximation d'une fonction par des fonctions régulières. Exemples et applications.
58. 213 -- Espaces de Hilbert. Bases hilbertiennes. Exemples et applications.
59. 214 -- Théorème d'inversion locale, théorème des fonctions implicites. Exemples et applications en analyse et en géométrie.
60. 215 -- Applications différentiables définies sur un ouvert de Rn. Exemples et applications.
61. 216 -- Étude métrique des courbes. Exemples.
62. 217 -- Sous-variétés de Rn. Exemples.
63. 218 -- Applications des formules de Taylor.
64. 219 -- Extremums : existence, caractérisation, recherche. Exemples et applications.
65. 220 -- Équations différentielles ordinaires. Exemples de résolutions et d'études de solutions en dimension 1 et 2.
66. 221 -- Équations différentielles linéaires. Systèmes d'équations différentielles linéaires. Exemples et applications.
67. 222 -- Exemples d'équations aux dérivées partielles linéaires.
68. 223 -- Suites numériques. Convergence, valeurs d'adhérence. Exemples et applications.
69. 224 -- Exemples de développements asymptotiques de suites et de fonctions.
70. 226 -- Suites vectorielles et réelles définies par une relation de récurrence u n+1 = f(u n). Exemples. Applications à la résolution approchée d'équations.
71. 228 -- Continuité, dérivabilité, dérivation faible des fonctions réelles d'une variable réelle. Exemples et applications.
72. 229 -- Fonctions monotones. Fonctions convexes. Exemples et applications.
73. 230 -- Séries de nombres réels ou complexes. Comportement des restes ou des sommes partielles des séries numériques. Exemples.
74. 232 -- Méthodes d'approximation des solutions d'une équation F(X)=0. Exemples.
75. 233 -- Analyse numérique matricielle. Résolution approchée de systèmes linéaires, recherche d'éléments propres, exemples.
76. 234 -- Fonctions et espaces de fonctions Lebesgue-intégrables.
77. 235 -- Problèmes d'interversion de limites et d'intégrales.
78. 236 -- Illustrer par des exemples quelques méthodes de calcul d'intégrales de fonctions d'une ou plusieurs variables.
79. 239 -- Fonctions définies par une intégrale dépendant d'un paramètre. Exemples et applications.
80. 240 -- Produit de convolution, transformation de Fourier. Applications.
81. 241 -- Suites et séries de fonctions. Exemples et contre-exemples.
82. 242 -- Utilisation en probabilités de la transformation de Fourier ou de Laplace et du produit de convolution.
83. 243 -- Séries entières, propriétés de la somme. Exemples et applications.
84. 244 -- Fonctions développables en série entière, fonctions analytiques. Exemples.
85. 245 -- Fonctions d'une variable complexe. Exemples et applications.
86. 246 -- Séries de Fourier. Exemples et applications.
87. 247 -- Exemples de problèmes d'interversion de limites.
88. 249 -- Suites de variables de Bernoulli indépendantes.
89. 250 -- Loi des grands nombres. Théorème de la limite centrale. Applications.
90. 250 -- Transformation de Fourier. Applications
91. 251 -- Indépendance d'événements et de variables aléatoires. Exemples.
92. 252 -- Loi binomiale. Loi de Poisson. Applications.
93. 253 -- Utilisation de la notion de convexité en analyse.
94. 254 -- Espaces de Schwartz S(R^d) et distributions tempérées. Transformation de Fourier dans S(R^d) et S'(R^d).
95. 255 -- Espaces de Schwartz. Distributions. Dérivation au sens des distributions.
96. 260 -- Espérance, variance et moments d'une variable aléatoire.
97. 261 -- Loi d'une variable aléatoire : caractérisations, exemples, applications.
98. 262 -- Convergences d'une suite de variables aléatoires. Théorèmes limites. Exemples et applications.
99. 263 -- Variables aléatoires à densité. Exemples et applications.
100. 264 -- Variables aléatoires discrètes. Exemples et applications.
101. 265 -- Exemples d'études et d'applications de fonctions usuelles et spéciales.
102. 266 -- Illustration de la notion d'indépendance en probabilités.
103. 267 -- Exemples d'utilisation de courbes en dimension 2 ou supérieure.
104. 2SAT est décidable en temps linéaire
105. 901 -- Structures de données : exemples et applications.
106. 902 -- Diviser pour régner : exemples et applications.
107. 903 -- Exemples d’algorithmes de tri. Complexité.
108. 906 -- Programmation dynamique : exemples et applications.
109. 907 -- Algorithmique du texte : exemples et applications.
110. 908 -- Automates Finis, exemples et applications
111. 909 -- Langages rationnels. Exemples et applications.
112. 910 -- Langages algébriques. Exemples et applications.
113. 911 -- Automates à pile. Exemples et applications.
114. 912 -- Fonctions récursives primitives et non primitives. Exemples.
115. 913 -- Machines de Turing. Applications.
116. 914 -- Décidabilité et indécidabilité. Exemples.
117. 915 -- Classes de complexité : exemples.
118. 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
119. 917 -- Logique du premier ordre : syntaxe et sémantique.
120. 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
121. 919 -- Unification : algorithmes et applications.
122. 920 -- Réécriture et formes normales. Exemples.
123. 921 -- Algorithmes de recherche et structures de données associées.
124. 922 -- Ensembles récursifs, récursivement énumérables. Exemples.
125. 923 -- Analyses lexicale et syntaxique : applications.
126. 924 -- Théories et modèles en logique du premier ordre. Exemples.
127. 925 -- Graphes : représentations et algorithmes.
128. 926 -- Analyse des algorithmes : complexité. Exemples.
129. 927 -- Exemples de preuve d’algorithme : correction, terminaison.
130. 928 -- Problèmes NP-complets : exemples de réductions.
131. 929 -- Lambda-calcul pur comme modèle de calcul. Exemples.
132. 930 -- Sémantique des langages de programmation. Exemples.
133. 931 -- Schémas algorithmiques. Exemples et applications.
134. 932 -- Fondements des bases de données relationnelles.
135. Accueil
136. Action du groupe modulaire sur le demi-plan de Poincaré
137. Algorithme d'unification
138. Algorithme de Hopcroft
139. Algorithme des facteurs invariants
140. Algèbre
141. Analyse
142. Analyse LR(0)
143. Anciennes leçons
144. Approximations de problèmes NP-complets
145. Arbres binaires de recherche optimaux
146. Arithmétique de Presburger
147. Automate des occurrences
148. Automorphismes de ZnZ
149. Autres productions 1A
150. Bibliographie

Voir (100 précédentes | 100 suivantes) (20 | 50 | 100 | 250 | 500).