Pages sans liens inter-langues

Afficher ci-dessous jusqu’à 50 résultats dans la série #91 à #140.

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

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

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