Projet:Informatique théorique/Pages populaires

Le tableau ci-dessous présente une liste des pages les plus populaires du projet Informatique théorique, triée par nombre de vues (plus d'informations).

Liste

Période : août 2024

Rang	Page	Vues totales	Vues par jour	Évol. rang
1	Alan Turing	81 912	2 642
2	Google Gemini	6 925	223	5
3	Machine de Turing	6 841	221	3
4	Jeu de la vie	4 436	143	1
5	Ordinateur quantique	4 324	139	3
6	Apprentissage automatique	4 152	134	2
7	Algorithme	4 075	131	2
8	Théorèmes d'incomplétude de Gödel	3 984	129	3
9	Expression régulière	3 906	126	1
10	Système binaire	3 863	125	2
11	Réseau de neurones artificiels	3 833	124	8
12	Logique	3 420	110	2
13	Yann Le Cun	3 279	106	5
14	John von Neumann	3 207	103	3
15	Dilemme du prisonnier	3 188	103	2
16	Problème P ≟ NP	2 623	85
17	Théorie des graphes	2 459	79	1
18	Théorie de l'information	2 322	75	3
19	Apprentissage profond	2 213	71
20	Algorithme de Dijkstra	2 164	70	5
21	Qubit	2 153	69	6
22	Stable Diffusion	2 090	67	1
23	Informatique quantique	2 051	66	3
24	Nombre de Strahler	2 024	65	4
25	Entropie de Shannon	1 933	62	5
26	Algorithmique	1 899	61	1
27	Produit matriciel	1 781	57	3
28	Fonction de hachage	1 752	57	6
29	Programmation fonctionnelle	1 475	48	7
30	Décomposition en produit de facteurs premiers	1 461	47
31	Charles Babbage	1 444	47	16
32	Calcul des prédicats	1 363	44	8
33	Algorithme de tri	1 315	42	2
34	Code (information)	1 301	42	2
35	Problème de l'arrêt	1 300	42	54
36	Combinatoire	1 278	41	7
37	Vacuité	1 271	41	22
38	Claude Shannon	1 267	41	15
39	Turing-complet	1 265	41	5
40	Distance de Levenshtein	1 239	40	2
41	Algorithmes optimaux de résolution du Rubik's Cube	1 208	39	30
42	Machine à vecteurs de support	1 208	39	13
43	Problème du voyageur de commerce	1 199	39	10
44	Lambda-calcul	1 158	37	5
45	Téléportation quantique	1 153	37
46	Algorithme d'Euclide	1 148	37	12
47	Algorithme du gradient	1 124	36	13
48	John McCarthy	1 116	36	2
49	Mathématiques discrètes	1 076	35	32
50	Algorithme A*	1 065	34	13
51	K-moyennes	1 062	34	9
52	Ontologie (informatique)	1 048	34	17
53	Apprentissage par renforcement	1 047	34	12
54	Transformation de Fourier rapide	1 032	33	15
55	Algorithme de Shor	1 013	33	6
56	PageRank	997	32	9
57	Crible d'Ératosthène	987	32	33
58	Élimination de Gauss-Jordan	984	32	20
59	Méthode des k plus proches voisins	980	32	8
60	Marvin Minsky	977	32	28
61	Automate fini	966	31	5
62	Logique floue	962	31	7
63	Algorithme LLL	958	31	71
64	Analyse de la complexité des algorithmes	948	31	7
65	Tri rapide	946	31	11
66	Calcul des propositions	938	30	1
67	Problème NP-complet	937	30	19
68	Code binaire	932	30	2
69	Générateur de nombres pseudo-aléatoires	923	30	5
70	Recherche dichotomique	917	30	20
71	Système bibi-binaire	882	28	6
72	Algorithme génétique	872	28	20
73	Round-robin (informatique)	872	28	9
74	Google DeepMind	867	28	6
75	Rétropropagation du gradient	856	28	13
76	Somme de contrôle	855	28	3
77	Tri à bulles	842	27	21
78	Théorie de la complexité (informatique théorique)	830	27	7
79	Algorithme du simplexe	821	26	4
80	Geoffrey Hinton	809	26	26
81	Réseau de neurones récurrents	800	26	21
82	Fonction récursive	778	25	5
83	Algorithme minimax	776	25	7
84	Diagramme de Voronoï	771	25	15
85	Problème du sac à dos	762	25	17
86	Heuristique (mathématiques)	738	24	7
87	Computing Machinery and Intelligence	714	23	174
88	Programmation dynamique	690	22	2
89	Automate cellulaire	674	22	25
90	Donald Knuth	673	22	27
91	Langage formel	671	22	14
92	Problème du cavalier	669	22	7
93	Optimisation linéaire	663	21	9
94	Bruit de Perlin	660	21	2
95	Table de Karnaugh	634	20	16
96	Système expert	623	20	2
97	Informatique théorique	620	20	25
98	Racine carrée inverse rapide	617	20	74
99	Perceptron multicouche	616	20	1
100	Thèse de Church	616	20	79
101	Arbre binaire	605	20	4
102	Table de hachage	604	19	6
103	Plongement lexical	603	19	5
104	Parallélisme (informatique)	602	19	13
105	Théorie de la calculabilité	600	19	33
106	Tri fusion	597	19	3
107	Algorithme de parcours en largeur	593	19	24
108	Simulation informatique	584	19	4
109	Codage de Huffman	581	19	8
110	Partitionnement de données	564	18
111	Fonction d'activation	559	18	16
112	Tri par insertion	559	18	12
113	Recuit simulé	557	18	11
114	Triangulation de Delaunay	554	18	2
115	Pasqal	553	18	41
116	Problèmes de passage de rivière	551	18	31
117	Preuve de travail	546	18	37
118	Décidabilité	542	17	30
119	Réseau de Petri	539	17	4
120	Arborescence	535	17	5
121	Validation croisée	527	17	12
122	Graphe (mathématiques discrètes)	525	17	10
123	Word2vec	516	17	4
124	Arbre de décision (apprentissage)	510	16	11
125	Pseudo-code	508	16	26
126	Problème SAT	500	16	13
127	Algorithme glouton	498	16	2
128	Itération	496	16
129	Edsger Dijkstra	494	16	22
130	Métaheuristique	485	16	3
131	Algorithme de parcours en profondeur	478	15	38
132	Protocole informatique	478	15	28
133	Conférence de Dartmouth	476	15	15
134	NP (complexité)	475	15	22
135	Algorithme de colonies de fourmis	468	15	2
136	Extraction de racine carrée	466	15	22
137	Théorème de Kruskal	464	15	5
138	Auto-encodeur variationnel	459	15	7
139	Graphe eulérien	455	15	20
140	John Horton Conway	454	15	16
141	Oméga de Chaitin	453	15	64
142	Algorithme de Grover	450	15	48
143	Modèle de Markov caché	447	14	13
144	Algorithme du gradient stochastique	444	14	18
145	Algorithme de Gale et Shapley	437	14	24
146	Code de Gray	435	14	3
147	Problème de plus court chemin	430	14	20
148	Résolution de labyrinthe	430	14	4
149	Algorithme récursif	428	14
150	Algorithme de Levenberg-Marquardt	418	13	17
151	Graphe hamiltonien	416	13	15
152	Méthode de Ruffini-Horner	411	13	49
153	Arbre de Merkle	410	13	9
154	Complexité en temps	410	13	1
155	Élagage alpha-bêta	407	13	15
156	Alice & Bob	406	13	40
157	Arbre B	400	13	2
158	Graphe orienté acyclique	399	13	12
159	Théorie des types	399	13	37
160	Problème du plus grand cercle vide	397	13	107
161	Connecteur logique	396	13	21
162	Distance de Hamming	394	13	12
163	Extraction de racine carrée par la méthode du goutte à goutte	393	13	62
164	Théorème CAP	383	12	16
165	Recherche arborescente Monte-Carlo	382	12	13
166	Auto-encodeur	381	12	51
167	Méthode formelle (informatique)	381	12	4
168	Tri par sélection	381	12	5
169	Code correcteur	379	12	34
170	Analyse prédictive	378	12	7
171	Code de Reed-Solomon	378	12	33
172	Distance de Wasserstein	376	12	52
173	Retour sur trace	376	12	11
174	Distance de Jaro-Winkler	375	12	24
175	Intelligence artificielle symbolique	374	12	18
176	Test de primalité	364	12	82
177	Arbre de la syntaxe abstraite	356	11	6
178	Théorie des réseaux	353	11	14
179	Gary L. Miller	351	11	157
180	Logarithme discret	349	11	19
181	Algorithme espérance-maximisation	345	11	20
182	Grammaire formelle	345	11	9
183	Aide à la décision	344	11	18
184	Reconnaissance de formes	344	11	20
185	Algorithme de Bellman-Ford	343	11	15
186	Information quantique	341	11	60
187	Programmation par contraintes	341	11	37
188	Neurone formel	340	11	19
189	Tas (informatique)	340	11	23
190	Fonction d'Ackermann	339	11	59
191	Jean-Gabriel Ganascia	339	11	56
192	Bernard Chazelle	338	11	37
193	Base de données MNIST	329	11	7
194	Gregory Chaitin	325	10	436
195	Optimisation linéaire en nombres entiers	324	10	20
196	Computationnalisme	323	10	23
197	Règle de Hebb	321	10	60
198	Processus de décision markovien	320	10	30
199	AlphaFold	317	10	25
200	Graphe connexe	317	10	8
201	Coloration de graphe	315	10	4
202	Glossaire de la théorie des graphes	314	10
203	Algorithme d'Euclide étendu	312	10	9
204	Optimisation combinatoire	311	10	17
205	Matrice d'adjacence	309	10	21
206	Surapprentissage	308	10
207	Occlusion ambiante	302	10	62
208	Logique d'ordre supérieur	300	10	60
209	Jean-Paul Delahaye	298	10	5
210	Théorème de Rice	297	10	147
211	Arbre (théorie des graphes)	296	10	7
212	Diviser pour régner (informatique)	295	10	1
213	Mersenne Twister	289	9	24
214	Théorie des automates	289	9	14
215	Arbre binaire de recherche	287	9	74
216	Algorithme de Metropolis-Hastings	285	9	31
217	Problème des mariages stables	282	9	39
218	Table de correspondance	282	9	11
219	Machine de Turing universelle	281	9	123
220	Stratégie du bras de fer	281	9	33
221	Alonzo Church	278	9	143
222	Hiérarchie de Chomsky	275	9	40
223	Algorithme de Monte-Carlo	272	9	47
224	Complexité de Kolmogorov	272	9	36
225	Recherche de chemin	272	9	9
226	Tableau associatif	272	9	9
227	Algorithme évolutionniste	271	9	32
228	Okapi BM25	270	9	7
229	Portrait d'Edmond de Belamy	270	9	12
230	Optimisation par essaims particulaires	268	9	42
231	Machine autoréplicative	265	9	45
232	Exponentiation rapide	263	8	73
233	Codage de l'information	262	8	13
234	Conteneur (informatique)	258	8	9
235	Jean-Louis Krivine	258	8	52
236	Algorithme de tracé de segment de Bresenham	256	8
237	Arbre kd	256	8	4
238	Graphe orienté	256	8	4
239	AlexNet	253	8	58
240	Correspondance de Curry-Howard	251	8	9
241	Règle d'inférence	251	8	15
242	Méthode mathématique d'analyse multicritère	250	8	19
243	Distance de Damerau-Levenshtein	249	8	6
244	Graphe planaire	247	8	14
245	ImageNet	246	8	35
246	Séparation des préoccupations	246	8	36
247	Réseau de neurones à action directe	242	8	15
248	Algorithme hongrois	240	8	65
249	Sémantique des langages de programmation	238	8	22
250	Théorème de Ramsey	237	8	19
251	Trie (informatique)	237	8	1
252	Arbre bicolore	236	8	17
253	Fléau de la dimension	236	8	3
254	Théorie de l'ordonnancement	235	8	5
255	Astuce du noyau	233	8	10
256	Liste chaînée	233	8	44
257	Tri par tas	233	8	19
258	Méthode itérative	232	7	55
259	Last in, first out	231	7	4
260	Problème du secrétaire	229	7	9
261	Maurice Nivat	228	7	131
262	Test de primalité de Miller-Rabin	228	7	77
263	Code de Hamming	227	7	70
264	Filtre de Bloom	225	7	26
265	Typage fort	225	7	18
266	Arbre enraciné	223	7	11
267	NP-difficile	223	7	51
268	Mathématiques tropicales	222	7	28
269	Réseau neuronal résiduel	222	7	60
270	Seymour Papert	218	7	99
271	Carte autoadaptative	217	7	7
272	Logique de Hoare	216	7	196
273	P (complexité)	216	7	43
274	Quadtree	216	7	15
275	Pseudo-aléatoire	215	7	45
276	Paradoxe de Moravec	213	7	5
277	Pensée computationnelle	213	7	24
278	Algorithme de Douglas-Peucker	212	7	34
279	Nombre réel calculable	211	7	93
280	Grammaire non contextuelle	210	7	11
281	Modélisation mathématique d'un labyrinthe	210	7	32
282	Théorème de Cox-Jaynes	208	7	80
283	Leslie Lamport	207	7	26
284	Problème de tournées de véhicules	207	7	54
285	Mamba (apprentissage profond)	205	7	4
286	Marcel-Paul Schützenberger	205	7	96
287	Algorithme de Viterbi	204	7	14
288	Déformation temporelle dynamique	204	7	16
289	Réduction de la dimensionnalité	204	7	45
290	Problème de la décision	203	7	43
291	Algorithme de Gauss-Newton	201	6	13
292	Algorithme de Floyd-Warshall	199	6	77
293	Apprentissage fédéré	198	6	101
294	LZ77 et LZ78	198	6	4
295	Constructeur universel	197	6	26
296	Chemin critique	192	6	15
297	Tri de crêpes	191	6	38
298	Algorithme de mise en cache	190	6	12
299	L-Système	190	6	23
300	Interpolation bicubique	188	6	21
301	Algorithme de Kruskal	187	6	47
302	21 problèmes NP-complets de Karp	184	6	58
303	Graphe complet	184	6	47
304	Méthode de Louvain	184	6	93
305	Programmation réactive	184	6	17
306	Graphe biparti	183	6	31
307	Jean-Yves Girard	183	6	39
308	Algorithme de Boyer-Moore	182	6	86
309	Fourmi de Langton	180	6	65
310	Théorème d'approximation universelle	180	6	36
311	Fonction booléenne	178	6	84
312	Arbre couvrant de poids minimal	177	6	5
313	Boosting	176	6	10
314	Classement automatique	176	6	15
315	William Lowell Putnam Mathematical Competition	176	6	89
316	Octree	175	6	54
317	Tri topologique	174	6	78
318	Arbre AVL	173	6	48
319	Assistant de preuve	172	6	34
320	Master theorem	172	6	1
321	Formule propositionnelle	169	5	1
322	Problème de bin packing	169	5	36
323	Séparation et évaluation	167	5	60
324	Théorie algorithmique de l'information	166	5	106
325	Claude Berge	165	5	8
326	Stephen Cole Kleene	164	5	227
327	Suite de Prouhet-Thue-Morse	164	5	159
328	Canon (automate cellulaire)	163	5	14
329	Méthodes de points intérieurs	163	5	23
330	Optimisation convexe	163	5	38
331	Machine de Boltzmann restreinte	162	5	5
332	Classe de complexité	161	5	100
333	Exponentiation modulaire	161	5	20
334	Algorithme de Karatsuba	160	5	54
335	Oracle (machine de Turing)	160	5	109
336	Apprentissage par renforcement profond	158	5	39
337	Technique de la multiplication par jalousies	158	5	42
338	Théorie des mécanismes d'incitation	158	5	14
339	Fonction itérée	157	5	42
340	Tri stupide	157	5
341	Canal de communication (théorie de l'information)	156	5	33
342	Problème du consensus	156	5	24
343	Xavier Leroy	156	5	72
344	Avi Wigderson	155	5	7
345	Base de Gröbner	152	5	35
346	Langage rationnel	152	5	46
347	Centralité	151	5	39
348	Dendrogramme	151	5	5
349	Mathusalem (automate cellulaire)	151	5	54
350	Problème du rendu de monnaie	151	5	34
351	Algorithme de Prim	150	5	47
352	AdaBoost	149	5	14
353	Apprentissage actif	148	5	100
354	Clique (théorie des graphes)	146	5	7
355	Arbre syntaxique	145	5	36
356	Tri par base	144	5	33
357	Automate fini déterministe	143	5	23
358	Algorithme de Deutsch-Jozsa	142	5	92
359	Bootstrap aggregating	142	5	15
360	Optimisation non linéaire	142	5	23
361	Recherche approximative	142	5	62
362	Couplage (théorie des graphes)	140	5	31
363	Hypercalcul	140	5	380
364	Recherche exhaustive	140	5	80
365	Lotfi Zadeh	138	4	104
366	Problème algorithmique	138	4	105
367	Parcours de graphe	137	4	35
368	Vérification de modèles	136	4	20
369	Machine de Turing non déterministe	135	4	21
370	Algorithme Shunting-yard	134	4	46
371	Apprentissage par transfert	134	4	14
372	Lemme de l'étoile	134	4	70
373	Oscillateur (automate cellulaire)	134	4	25
374	Étoile de Kleene	134	4	140
375	Fonction récursive primitive	133	4	47
376	Jacques Stern (cryptologue)	132	4	18
377	Basic Local Alignment Search Tool	131	4	83
378	Explosion combinatoire	131	4	44
379	Théorie de la décision dans l'incertain	131	4	114
380	Weight decay	131	4	50
381	Whitfield Diffie	131	4	143
382	Liste des algorithmes de la théorie des graphes	130	4	19
383	Problème d'affectation	129	4	38
384	Union-find	129	4	69
385	Codage entropique	128	4	91
386	Méthode de la fausse position	128	4	73
387	Architecture de l'information	127	4	32
388	Système F	127	4	109
389	Algorithme de Strassen	126	4	28
390	Algorithme de recherche de sous-chaîne	126	4	136
391	Cycle (théorie des graphes)	126	4	7
392	Gilles Dowek	126	4	58
393	Soundex	126	4	36
394	Fonction à sens unique	125	4	24
395	Terry Winograd	125	4	181
396	Algorithme de Ford-Fulkerson	124	4	103
397	Composante fortement connexe	124	4	3
398	Maillage polygonal	124	4	10
399	Marching cubes	124	4	71
400	Ordonnancement d'atelier	124	4	27
401	Petit modèle de langage	124	4	5
402	Problème de décision	124	4	53
403	IA neuro-symbolique	122	4	24
404	Planification (intelligence artificielle)	122	4	39
405	Stephen Smale	122	4	84
406	Algorithme du jour du Jugement dernier	121	4	45
407	Modèle vectoriel	121	4	5
408	Récursivement énumérable	121	4	3
409	Eugene Goostman	120	4	145
410	Introduction à l'algorithmique	120	4	245
411	Stuart Russell	120	4	22
412	Symboles terminaux et non terminaux	120	4	535
413	Charles Antony Richard Hoare	119	4	114
414	Fenêtre de contexte	119	4	111
415	Hiérarchie de croissance rapide	119	4	9
416	Transformée de Hadamard	119	4	2
417	Algorithme de Knuth-Morris-Pratt	118	4	7
418	Arithmétique d'intervalles	118	4	89
419	Automate à pile	118	4	39
420	Modèle d'acteur	118	4	62
421	Algorithme CART	117	4	41
422	Problème du diamant	117	4	35
423	Scott Aaronson	117	4	88
424	Algorithme probabiliste	116	4	19
425	K-médoïdes	116	4	60
426	Apprentissage avec erreurs	115	4	17
427	Logique temporelle	115	4	9
428	Mesure de similarité	115	4	74
429	Réseau neuronal siamois	115	4	70
430	Test de primalité AKS	115	4	15
431	Algorithme d'affectation de candidats après concours multiples	114	4	17
432	Algorithme de Las Vegas	114	4	84
433	Graphviz	114	4	32
434	Timsort	113	4	6
435	Degré (théorie des graphes)	112	4	57
436	Matroïde	112	4	1
437	Erdal Arıkan	111	4	11
438	Jardin d'Éden (automate cellulaire)	111	4	38
439	Liste de problèmes NP-complets	111	4	25
440	Mélange de Fisher-Yates	111	4	134
441	Réseau de neurones de Hopfield	111	4	11
442	Aide à la décision multicritère	110	4	5
443	Algorithme de remplissage par diffusion	110	4	72
444	Méthode de la puissance itérée	110	4	97
445	Algorithme de recherche	109	4	18
446	Gérard Huet	109	4	47
447	Recherche des plus proches voisins	109	4	18
448	Tri de Shell	109	4	42
449	Unité récurrente fermée	109	4	120
450	Benjamin Werner	108	3	68
451	Graphe non orienté	108	3	41
452	Type abstrait	108	3	10
453	Algorithme TCP	107	3	46
454	Mort informationnelle	107	3	42
455	Prix Gödel	107	3	36
456	John Tukey	106	3	80
457	Lambda-calcul simplement typé	106	3	132
458	Machine de Mealy	106	3	11
459	Problème de couverture par ensembles	106	3	205
460	Test de primalité de Fermat	106	3	85
461	Turbo code	106	3	20
462	Thierry Coquand	105	3	77
463	Algorithme d'optimisation	104	3	87
464	Complexité de la multiplication de matrices	103	3	87
465	Intelligence artificielle digne de confiance	103	3	56
466	Lemme des poignées de main	103	3	152
467	Problème 3-SAT	103	3	56
468	Jay Wright Forrester	102	3	121
469	Ensemble récursif	101	3	98
470	Graphe de Cayley	101	3	24
471	Problème de la clique	101	3	12
472	Représentation des connaissances	101	3	99
473	Algorithme de multiplication d'entiers	100	3	106
474	Hypercube (graphe)	100	3	7
475	Ingénierie des connaissances	100	3	20
476	Pavage pentagonal	100	3	52
477	Pierre Rosenstiehl	100	3	185
478	Théorie de l'apprentissage statistique	100	3	58
479	Tri comptage	100	3	4
480	Tri à peigne	100	3	69
481	Problème de satisfaction de contraintes	99	3	49
482	Suite de de Bruijn	99	3	60
483	Automate fini non déterministe	98	3	115
484	Machine de Moore	98	3	82
485	Code quantique	97	3	64
486	Lothar Collatz	97	3	79
487	Suprématie quantique	97	3	104
488	Tas de Fibonacci	97	3	50
489	Logique de description	96	3	56
490	Arbre équilibré	95	3	43
491	Recherche tabou	95	3	40
492	Théorème de Robertson-Seymour	95	3	51
493	Réduction polynomiale	94	3	16
494	Arbre radix	93	3	63
495	Compression par ondelettes	93	3	84
496	Théorie des jeux combinatoires	92	3	35
497	Transformée de Burrows-Wheeler	92	3	179
498	A Mathematical Theory of Communication	91	3	64
499	Plus petit ancêtre commun	91	3	287
500	Problème de flot maximum	91	3	144

Vues totales pour les 2111 articles du projet : 370 587 (+3 articles, +9,0 % de vues par jour par rapport au mois précédent).