Utilisateur:Danidamiobi/Brouillon/Watchlist
Mise à jour le 16 novembre 2015 à 15:50 (CET) pour un total de 996 articles
0–9
modifierA
modifier- Abraham Lempel (d)
- ACORN_(PRNG) (en) (Additive Congruential Random Numbers)
- AdaBoost (d)
- Adaptation de domaine (d)
- Aide à la décision (d)
- Aide à la décision multicritère (d)
- Alain Glavieux (d)
- Alain Lascoux (d)
- Alan Turing (d)
- Albert R. Meyer (d)
- Alexander Schrijver (d)
- Alexandre Razborov (d)
- Alexey Chervonenkis (d)
- Alfred Aho (d)
- Alfréd Rényi (d)
- Algorithme A* (d)
- Algorithme d'Aho-Corasick (d)
- Algorithme d'apprentissage incrémental (d)
- Algorithme d'approximation (d)
- Algorithme d'Edmonds-Karp (d)
- Algorithme d'Edmonds pour les couplages (d)
- Algorithme d'énumération (d)
- Algorithme de Baeza-Yates-Gonnet (d)
- Algorithme de Baum-Welch (d)
- Algorithme de Borůvka (d)
- Algorithme de Bowyer-Watson (d)
- Algorithme de Boyer-Moore-Horspool (d)
- Algorithme de Busacker et Gowen (d)
- Algorithme de Christofides (d)
- Algorithme de Cocke-Younger-Kasami (d)
- Algorithme de colonies de fourmis (d)
- Algorithme de construction d'une forêt maximale (d)
- Algorithme de Deutsch-Jozsa (d)
- Algorithme de Dijkstra (d)
- Algorithme de Dinic (d)
- Algorithme de Faddeev-Leverrier (d)
- Algorithme de Floyd-Warshall (d)
- Algorithme de Ford-Fulkerson (d)
- Algorithme de fouille de flots de données (d)
- Algorithme de Fürer (d)
- Algorithme de Grover (d)
- Algorithme de Hoshen-Kopelman (d)
- Algorithme de Johnson (d)
- Algorithme de Karger (d)
- Algorithme de Karp-Miller-Rosenberg (d)
- Algorithme de Knuth-Bendix (d)
- Algorithme de Kosaraju (d)
- Algorithme de l'arbre de jonction (d)
- Algorithme de la boulangerie (d)
- Algorithme de Lanczos (d)
- Algorithme de Las Vegas (d)
- Algorithme de Levenberg-Marquardt (d)
- Algorithme de Lin-Kernighan (d)
- Algorithme de Lloyd-Max (d)
- Algorithme de Markov (d)
- Algorithme de Monte-Carlo (d)
- Algorithme de multiplication (d)
- Algorithme de Pohlig-Hellman (d)
- Algorithme de poussage/réétiquetage (d)
- Algorithme de Rabin-Karp (d)
- Algorithme de Raita (d)
- Algorithme de recherche (d)
- Algorithme de recherche d'harmonie (d)
- Algorithme de recherche de sous-chaîne (d)
- Algorithme de Risch (d)
- Algorithme de Schönhage-Strassen (d)
- Algorithme de sélection (d)
- Algorithme de Shor (d)
- Algorithme de Smith-Waterman (d)
- Algorithme de Strassen (d)
- Algorithme de sweep line (d)
- Algorithme de Tarjan (d)
- Algorithme de tri (d)
- Algorithme de tri externe (d)
- Algorithme de Viterbi (d)
- Algorithme de Warshall (d)
- Algorithme des k-médoïdes (d)
- Algorithme DPLL (d)
- Algorithme du drapeau tricolore (d)
- Algorithme du lièvre et de la tortue (d)
- Algorithme du simplexe (d)
- Algorithme émergent (d)
- Algorithme espérance-maximisation (d)
- Algorithme évolutionniste (d)
- Algorithme génétique (d)
- Algorithme glouton (d)
- Algorithme HITS (d)
- Algorithme hongrois (d)
- Algorithme LLL (d)
- Algorithme minimax (d)
- Algorithme online (d)
- Algorithme probabiliste (d)
- Algorithme récursif (d)
- Algorithme Toom-Cook (d)
- Algorithme X de Knuth (d)
- Algorithmes de connexité basés sur des pointeurs (d)
- Algorithmica (d)
- Algorithmique (d)
- Algorithmique du texte (d)
- Algorithmique répartie (d)
- Alistair Sinclair (d)
- Allan Borodin (d)
- Allen Emerson (d)
- Allen Newell (d)
- Alonzo Church (d)
- Analyse amortie (d)
- Analyse de la complexité des algorithmes (d)
- Analyse lisse d'algorithme (d)
- Analyse prédictive (d)
- Analytic network process (d)
- Anamorphisme (d)
- Anatoli Karatsouba (d)
- Andrei Broder (d)
- Andrew Yao (d)
- Andrzej Grzegorczyk (d)
- Anil Nerode (d)
- Answer set programming (d)
- Antoine Joux (d)
- Apprentissage automatique (d)
- Apprentissage basé sur l'explication (d)
- Apprentissage PAC (d)
- Apprentissage par renforcement (d)
- Apprentissage par transfert (d)
- APX (complexité) (d)
- Arborescence (d)
- Arboricité (d)
- Arbre (combinatoire) (d)
- Arbre (graphe) (d)
- Arbre 2-3-4 (d)
- Arbre AVL (d)
- Arbre B (d)
- Arbre bicolore (d)
- Arbre binaire (d)
- Arbre binaire de recherche (d)
- Arbre cousu (d)
- Arbre couvrant de poids minimal (d)
- Arbre de décision (apprentissage) (d)
- Arbre de fouille (d)
- Arbre de Merkle (d)
- Arbre de produits (d)
- Arbre des suffixes (d)
- Arbre enraciné (d)
- Arbre équilibré (d)
- Arbre radix (d)
- Arbre splay (d)
- Arbre syntaxique (d)
- Arbre syntaxique abstrait (d)
- Arbre ternaire de recherche (d)
- Architecture de l'information (d)
- Arête (géométrie) (d)
- Arithmétique d'intervalles (d)
- Assistant de preuve (d)
- Automate à pile (d)
- Automate cellulaire (d)
- Automate cellulaire de Codd (d)
- Automate d'arbres (d)
- Automate de Büchi (d)
- Automate de Muller (d)
- Automate fini (d)
- Automate linéairement borné (d)
- Automate probabiliste (d)
- Automate sur les mots infinis (d)
- Autoréplication (d)
- Autostabilisation (d)
- Avi Wigderson (d)
B
modifier- Base de Gröbner (d)
- Benjamin Werner (d)
- Bernard Chazelle (d)
- Bernd Sturmfels (d)
- BF-graphe (d)
- Bijection de Joyal (d)
- Bisimulation (d)
- Bloc (jeu de la vie) (d)
- Bloc de base (d)
- Boosting (d)
- Borne de Gilbert-Varshamov (d)
- Boucle de Byl (d)
- Boucle de Langton (d)
- BPP (complexité) (d)
- BQP (d)
- Branch and cut (d)
- Branch and price (d)
- Brigitte Vallée (d)
- Bruno Buchberger (d)
C
modifier- Cadre (intelligence artificielle) (d)
- Calcul des prédicats (d)
- Calcul des propositions (d)
- Calculabilité (d)
- Calculateur quantique (d)
- Canon (automate cellulaire) (d)
- Carte auto adaptative (d)
- Centralité (d)
- Certificat (complexité) (d)
- Chaînage arrière (d)
- Chaînage avant (d)
- Chaîne (théorie des graphes) (d)
- Charles Antony Richard Hoare (d)
- Charles Babbage (d)
- Charles Rackoff (d)
- Chemin (théorie des graphes) (d)
- Chemin critique (d)
- Christos Papadimitriou (d)
- Circuit (graphe) (d)
- Circuit booléen (d)
- Classe de complexité (d)
- Classification automatique (d)
- Classification double (d)
- Classification sous contrainte (d)
- Classification spectrale (intelligence artificielle) (d)
- Claude Berge (d)
- Claude Berrou (d)
- Claude Shannon (d)
- Clique (théorie des graphes) (d)
- Co-NP (d)
- Co-NP-complet (d)
- Codage de l'information (d)
- Codage de Prüfer (d)
- Code BCH (d)
- Code correcteur (d)
- Code cyclique (d)
- Code de Golay (d)
- Code de Hamming (7,4) (d)
- Code identifiant d'un graphe (d)
- Code linéaire (d)
- Code quantique (d)
- Coefficient de clustering (d)
- Cographe (d)
- Coloration de graphe (d)
- Coloration des arêtes d'un graphe (d)
- Combinaison convexe (d)
- Combinatoire analytique (d)
- Combinatoire des mots (d)
- Communications of the ACM (d)
- Compilateur (d)
- Complémentaire (complexité) (d)
- Complet (complexité) (d)
- Complexité d'un mot (d)
- Complexité dans le meilleur des cas (d)
- Complexité dans le pire des cas (d)
- Complexité de Kolmogorov (d)
- Complexité de la communication (d)
- Complexité de Lempel-Ziv (d)
- Complexité descriptive (d)
- Complexité en espace (d)
- Complexité en moyenne des algorithmes (d)
- Complexité en temps (d)
- Complexité générique des algorithmes (d)
- Complexité paramétrée (d)
- Composante fortement connexe (d)
- Computing machinery and intelligence (d)
- Confluence (informatique) (d)
- Conjecture de Hirsch (d)
- Conjecture des jeux uniques (d)
- Consensus (informatique) (d)
- Constructeur universel (d)
- Construction de Glushkov (d)
- Construction de Luby-Rackoff (d)
- Construction par sous-ensembles (d)
- Conteneur (informatique) (d)
- Contraction d'arête (d)
- Contraintes de clique (d)
- Corde (informatique) (d)
- Corrado Böhm (d)
- Correction d'un algorithme (d)
- Correspondance de Curry-Howard (d)
- Coupe (théorie des graphes) (d)
- Coupe maximum (d)
- Coupe minimum (d)
- Couplage (théorie des graphes) (d)
- Crible algébrique (d)
- Cryptographie visuelle (d)
- CTL* (d)
- Cycle (théorie des graphes) (d)
D
modifier- Dan Boneh (d)
- Dana S. Scott (d)
- Dancing tree (d)
- Daniel Spielman (d)
- Daphne Koller (d)
- David Goldberg (d)
- David H. D. Warren (d)
- David S. Johnson (d)
- Day & Night (d)
- Décidabilité (d)
- Décomposition arborescente (d)
- Décomposition de Benders (d)
- Décomposition en produit de facteurs premiers (d)
- Deep learning (d)
- Delbert Ray Fulkerson (d)
- Demi-groupe bicyclique (d)
- Dendrogramme (d)
- Déployeur universel (d)
- Dérivée de Brzozowski (d)
- Déterminisme (calculabilité) (d)
- Diagnostic (intelligence artificielle) (d)
- Diagnosticabilité (système d'événement discret) (d)
- Diagramme de décision binaire (d)
- Diagramme de Voronoï (d)
- Diamètre (théorie des graphes) (d)
- Dichotomie (d)
- Dilemme du prisonnier (d)
- Dimension de Vapnik-Chervonenkis (d)
- Discrete Event System Specification (d)
- DisCSP (d)
- Distance d'édition sur les arbres (d)
- Distance de Damerau-Levenshtein (d)
- Distance de Hamming (d)
- Distance de Jaro-Winkler (d)
- Distance de Levenshtein (d)
- Diviser pour régner (informatique) (d)
- Donald Knuth (d)
- Doron Zeilberger (d)
- Douglas Lenat (d)
- DSATUR (d)
E
modifier- E-graph (d)
- Earth mover's distance (d)
- Edgar N. Gilbert (d)
- EdgeRank (d)
- Edsger Dijkstra (d)
- Edward F. Moore (d)
- Edward J. McCluskey (d)
- Edward M. McCreight (d)
- Élagage alpha-bêta (d)
- ELECTRE (d)
- ELEMENTARY (complexité) (d)
- Elwyn Berlekamp (d)
- Emil Post (d)
- Empreinte de Rabin (d)
- Ensemble dominant (d)
- Ensemble récursif (d)
- Épistémologie de l'informatique (d)
- Epsilon transition (d)
- Équation entre mots (d)
- Équilibre corrélé (d)
- Équivalence de Nerode (d)
- Espace de recherche (d)
- Étoile de Kleene (d)
- Eugene Goostman (d)
- European Association for Theoretical Computer Science (d)
- European Coordinating Committee for Artificial Intelligence (d)
- Éva Tardos (d)
- Evoloop (d)
- Explosion combinatoire (d)
- Exponentiation modulaire (d)
- Exposant critique d'un mot (d)
- Expression rationnelle (d)
- EXPSPACE (d)
- EXPTIME (d)
F
modifier- F-coalgèbre (d)
- Famille abstraite de langages (d)
- File M/M/1 (d)
- Filtre de Bloom (d)
- Fléau de la dimension (d)
- Flow-shop (d)
- Fonction à sens unique (d)
- Fonction booléenne (d)
- Fonction constructible (d)
- Fonction d'Ackermann (d)
- Fonction de hachage (d)
- Fonction de Takeuchi (d)
- Fonction déterministe (d)
- Fonction récursive (d)
- Fonction récursive primitive (d)
- Fonction semi-calculable (d)
- Fonction sous-modulaire (d)
- Fondement des symboles (d)
- Force-based layout (d)
- Formalisation (mathématiques) (d)
- Forme normale (lambda-calcul) (d)
- Forme normale de Chomsky (d)
- Forme normale de Greibach (d)
- Fourmi de Langton (d)
- FRACTRAN (d)
- Friedrich L. Bauer (d)
G
modifier- Gary L. Miller (d)
- Gaz neuronal (d)
- Gaz sur réseau (d)
- Générateur pseudo-aléatoire (d)
- Génération de colonnes (d)
- Geometrical analysis for interactive aid (d)
- George H. Mealy (d)
- Georges Gonthier (d)
- Gérard Huet (d)
- Géraud Sénizergues (d)
- Gilles Dowek (d)
- Giuseppe Longo (d)
- Grammaire contextuelle (d)
- Grammaire formelle (d)
- Grammaire linéaire (d)
- Grammaire non contextuelle (d)
- Graphe acyclique (d)
- Graphe aléatoire (d)
- Graphe allumette (d)
- Graphe arête-connexe (d)
- Graphe asymétrique (d)
- Graphe autodual (d)
- Graphe biparti (d)
- Graphe complémentaire (d)
- Graphe complet (d)
- Graphe conceptuel (d)
- Graphe connexe (d)
- Graphe cordal (d)
- Graphe cubique (d)
- Graphe cycle (d)
- Graphe d'intersection (d)
- Graphe d'intervalle (d)
- Graphe d'intervalle propre (d)
- Graphe de Cayley (d)
- Graphe de comparabilité (d)
- Graphe de de Bruijn (d)
- Graphe de disques (d)
- Graphe de flot de contrôle (d)
- Graphe de Hamming (d)
- Graphe de Kneser (d)
- Graphe de Moore (d)
- Graphe de Mycielski (d)
- Graphe de Paley (d)
- Graphe de Ramanujan (d)
- Graphe de Turán (d)
- Graphe distance-régulier (d)
- Graphe distance-unité (d)
- Graphe dual (d)
- Graphe étoile (d)
- Graphe eulérien (d)
- Graphe grille (d)
- Graphe hamiltonien (d)
- Graphe hypohamiltonien (d)
- Graphe intégral (d)
- Graphe local (d)
- Graphe médian (d)
- Graphe non orienté (d)
- Graphe orienté (d)
- Graphe orienté acyclique (d)
- Graphe parfait (d)
- Graphe partitionable (d)
- Graphe planaire (d)
- Graphe régulier (d)
- Graphe roue (d)
- Graphe sans triangle (d)
- Graphe simple (d)
- Graphe sommet-connexe (d)
- Graphviz (d)
- Greedy randomized adaptive search procedure (d)
- Gregory Chaitin (d)
- Gustavus J. Simmons (d)
H
modifier- Hachage cohérent (d)
- Hashlife (d)
- Henri Cohen (mathématicien) (d)
- Heuristique (mathématiques) (d)
- Hiérarchie arithmétique (d)
- Hiérarchie de Chomsky (d)
- Hiérarchie de croissance rapide (d)
- Hiérarchie de Grzegorczyk (d)
- Hiérarchie polynomiale (d)
- HighLife (automate cellulaire) (d)
- Histoire de la recherche opérationnelle en France (d)
- Hypercalcul (d)
- Hypercube (graphe) (d)
- HyperLogLog (d)
- Hypothèse du monde clos (d)
- Hypothèse du monde ouvert (d)
I
modifier- Immigration (automate cellulaire) (d)
- Impossibilité du clonage quantique (d)
- Information quantique (d)
- Informatique quantique (d)
- Informatique théorique (d)
- Ingénierie des connaissances (d)
- Instance (algorithmique) (d)
- Intelligence computationnelle (d)
- Interprétation abstraite (d)
- Invariant de boucle (d)
- IP (complexité) (d)
- Irit Dinur (d)
- Itération (d)
J
modifier- Jack Edmonds (d)
- Jacob Ziv (d)
- Jacques Mazoyer (d)
- Jacques Stern (cryptologue) (d)
- James Pustejovsky (d)
- Janusz A. Brzozowski (d)
- Jardin d'Éden (automate cellulaire) (d)
- Jay Wright Forrester (d)
- Jean-Claude Laprie (d)
- Jean-Louis Krivine (d)
- Jean-Paul Delahaye (mathématicien) (d)
- Jean-Pierre Jouannaud (d)
- Jean-Yves Girard (d)
- Jeffrey Ullman (d)
- Jeu de go en informatique (d)
- Jeu de la vie (d)
- Johan Håstad (d)
- John Barkley Rosser (d)
- John Hopcroft (d)
- John Horton Conway (d)
- John McCarthy (d)
- John Tukey (d)
- John von Neumann (d)
- Join-Calcul (d)
- Jon Kleinberg (d)
- Joseph Kruskal (d)
- Joseph Sifakis (d)
- Joseph Y. Halpern (d)
- Journal of the ACM (d)
- Juris Hartmanis (d)
K
modifier- K-centre (d)
- K-médiane (d)
- K-moyennes (d)
- Kenneth Appel (d)
- Kurt Mehlhorn (d)
L
modifier- L (complexité) (d)
- L-Système (d)
- Lambda-calcul (d)
- Lambda cube (d)
- ΛProlog (d)
- Langage algébrique (d)
- Langage contextuel (d)
- Langage de Dyck (d)
- Langage de Łukasiewicz (d)
- Langage formel (d)
- Langage rationnel (d)
- Langage sans étoile (d)
- Largeur arborescente (d)
- László Babai (d)
- László Lovász (d)
- Lemme d'Arden (d)
- Lemme d'itération (d)
- Lemme d'itération pour les langages algébriques (d)
- Lemme d'Ogden (d)
- Lemme de l'étoile (d)
- Lemme de Levi (d)
- Lemme des poignées de main (d)
- Lemme local de Lovász (d)
- Lenore Blum (d)
- Leonid Levin (d)
- Leslie Lamport (d)
- Leslie Valiant (d)
- Lester Randolph Ford (d)
- Lester Randolph Ford junior (d)
- Lexique de la théorie des graphes (d)
- Life 3-4 (d)
- Limite de Bremermann (d)
- Line graph (d)
- Liste chaînée (d)
- Liste d'adjacence (d)
- Liste de problèmes NP-complets (d)
- Liste des algorithmes de la théorie des graphes (d)
- Locality sensitive hashing (d)
- Logarithme discret (d)
- Logarithme itéré (d)
- Logique (d)
- Logique d'ordre supérieur (d)
- Logique de description (d)
- Logique de Hoare (d)
- Logique floue (d)
- Logique temporelle (d)
- Loi de Grosch (d)
- Lothar Collatz (d)
- Lov Grover (d)
- LZ77 et LZ78 (d)
M
modifier- Machine à état liquide (d)
- Machine à états abstraits (d)
- Machine à vecteurs de support (d)
- Machine de Blum-Shub-Smale (d)
- Machine de Mealy (d)
- Machine de Moore (d)
- Machine de Turing (d)
- Machine de Turing non déterministe (d)
- Machine de Turing probabiliste (d)
- Machine de Turing universelle (d)
- Machine Intelligence Research Institute (d)
- Madhu Sudan (d)
- Maille (théorie des graphes) (d)
- Manuel Blum (d)
- Marcel-Paul Schützenberger (d)
- Marco Dorigo (d)
- Maria Chudnovsky (d)
- Mario Szegedy (d)
- Mark Jerrum (d)
- Martin Grötschel (d)
- Master theorem (d)
- Mathématiques discrètes (d)
- Mathusalem (automate cellulaire) (d)
- Matrice de contrôle (d)
- Matrice de similarité (d)
- Matrice génératrice (d)
- Matroïde (d)
- Matthew K. Franklin (d)
- Maurice Nivat (d)
- Médiane des médianes (d)
- Mélange de Fisher-Yates (d)
- Mémoire temporelle et hiérarchique (d)
- Mersenne Twister (d)
- Mesh de navigation (d)
- Métaconnaissance (d)
- Méthode de l'ellipsoïde (d)
- Méthode de Quine-Mc Cluskey (d)
- Méthode des k plus proches voisins (d)
- Méthode des plans sécants (d)
- Méthode formelle (informatique) (d)
- Méthode itérative (d)
- Méthode mathématique d'analyse multicritère (d)
- Méthode potentiel-tâche (d)
- Michael Jordan (informaticien) (d)
- Michael Rabin (d)
- Michael Sipser (d)
- Michel Fliess (d)
- Michel Goemans (d)
- Mihalis Yannakakis (d)
- Miklós Ajtai (d)
- Minimal instruction set computer (d)
- Minimisation d'un automate fini déterministe (d)
- Mix network (d)
- Model checking (d)
- Modèle d'acteur (d)
- Modèle de Markov caché (d)
- Modèle graphique (d)
- Modèle vectoriel (d)
- Modélisation mathématique d'un labyrinthe (d)
- Moni Naor (d)
- Monoïde apériodique (d)
- Monoïde des traces (d)
- Monoïde syntaxique (d)
- Moralisation de graphe (d)
- Moshe Vardi (d)
- Mot (mathématiques) (d)
- Mot infini (d)
- Mot morphique (d)
- Motif inévitable (d)
N
modifier- Nancy Lynch (d)
- Narendra Karmarkar (d)
- Nat (information) (d)
- Nati Linial (d)
- Naum Z. Shor (d)
- NC (complexité) (d)
- Neil Immerman (d)
- Neuf niveaux (système) (d)
- Neural Information Processing Systems (d)
- NEXPSPACE (d)
- NEXPTIME (d)
- Nijssen information analysis method (d)
- NL (complexité) (d)
- Noam Nisan (d)
- Noga Alon (d)
- Nombre achromatique (d)
- Nombre de Strahler (d)
- Nombre de Wedderburn-Etherington (d)
- Nombre domatique (d)
- Nombre réel calculable (d)
- Notation de Neveu (d)
- NP (complexité) (d)
O
modifier- Octree (d)
- Oded Goldreich (d)
- Olivier Danvy (d)
- Oméga de Chaitin (d)
- Omer Reingold (d)
- Ontologie (informatique) (d)
- Optimisation combinatoire (d)
- Optimisation linéaire (d)
- Optimisation linéaire en nombres entiers (d)
- Optimisation non linéaire (d)
- Optimisation par essaims particulaires (d)
- Oracle (machine de Turing) (d)
- Ordonnancement d'atelier (d)
- Oscillateur (automate cellulaire) (d)
P
modifier- P (complexité) (d)
- P/poly (d)
- Paradoxe de Moravec (d)
- Parallel random access machine (d)
- Parallélisation automatique (d)
- Parallélisme (informatique) (d)
- Parallélisme de donnée (d)
- Paramorphisme (d)
- Parcours de graphe (d)
- Partitionnement de données (d)
- Pensée computationnelle (d)
- Perles de Dijkstra (d)
- Permanent (mathématiques) (d)
- Permutation aléatoire (d)
- Philip Wadler (d)
- Philippe Flajolet (d)
- Pi-calcul (d)
- Pierre Geneves (d)
- Pierre Lescanne (d)
- Pierre Rosenstiehl (d)
- Pierre Wolper (d)
- Planification (intelligence artificielle) (d)
- Plus petit ancêtre commun (d)
- Point d'articulation (théorie des graphes) (d)
- Pôle Algorithmique et Informatique théorique de l'ACM (d)
- Polynôme chromatique (d)
- Porte de Toffoli (d)
- PP (complexité) (d)
- Preference ranking organization method for enrichment evaluation (d)
- Préordre de simulation (d)
- Preuve de travail (d)
- Preuves, Programmes et Systèmes (d)
- Principaux projets et réalisations en intelligence artificielle (d)
- Prix Dijkstra (d)
- Prix Donald E. Knuth (d)
- Prix Fulkerson (d)
- Prix Gödel (d)
- Prix Inria de l'Académie des sciences (d)
- Prix Nevanlinna (d)
- Prix Paris Kanellakis (d)
- Problème 3-SAT (d)
- Problème algorithmique (d)
- Problème d'affectation (d)
- Problème de bin packing (d)
- Problème de correspondance de Post (d)
- Problème de couverture par ensembles (d)
- Problème de couverture par sommets (d)
- Problème de décision (d)
- Problème de gestion de projet à contraintes de ressources (d)
- Problème de l'arbre de Steiner (d)
- Problème de l'arrêt (d)
- Problème de l'isomorphisme de graphes (d)
- Problème de la couverture exacte (d)
- Problème de la décision (d)
- Problème de la somme de sous-ensembles (d)
- Problème de recherche (d)
- Problème de satisfaction de contraintes (d)
- Problème de tournées de véhicules (d)
- Problème des mariages stables (d)
- Problème des sept ponts de Königsberg (d)
- Problème du cadre (d)
- Problème du cavalier (d)
- Problème du diamant (d)
- Problème du flot de coût minimum (d)
- Problème du k-supplier (d)
- Problème du mot (d)
- Problème du plus grand cercle vide (d)
- Problème du postier chinois (d)
- Problème du rendu de monnaie (d)
- Problème du sac à dos (d)
- Problème du stable maximum (d)
- Problème du voyageur de commerce (d)
- Problème NP-complet (d)
- Problème P = NP (d)
- Problème SAT (d)
- Problèmes de cheminement (d)
- Problèmes de passage de rivière (d)
- Processus de décision markovien (d)
- Produit cartésien (graphe) (d)
- Produit zig-zag de graphes (d)
- Profondeur de Bennett (d)
- Programmation dynamique (d)
- Programmation fonctionnelle (d)
- Programmation génétique (d)
- Programmation par contraintes (d)
- Programmation réactive (d)
- Propagation d'affinité (d)
- Propagation de contraintes (d)
- Propriété de Church-Rosser (d)
- Protocole Arthur-Merlin (d)
- PSPACE (d)
Q
modifierR
modifier- Raisonnement automatisé (d)
- Raisonnement par cas (d)
- Rajeev Motwani (d)
- Random access machine (d)
- Ravindran Kannan (d)
- Rayon (théorie des graphes) (d)
- Recherche approximative (d)
- Recherche de chemin (d)
- Recherche des plus proches voisins (d)
- Recherche locale (optimisation) (d)
- Recherche tabou (d)
- Reconnaissance de formes (d)
- Récursion mutuelle (d)
- Récursivement énumérable (d)
- Réduction (complexité) (d)
- Réduction polynomiale (d)
- Register Transfer Language (d)
- Règle d'inférence (d)
- Relaxation continue (d)
- Représentation des connaissances (d)
- Réseau (d)
- Réseau « petit monde » (d)
- Réseau bayésien (d)
- Réseau de concepts (d)
- Réseau de neurones artificiels (d)
- Réseau de neurones de Hopfield (d)
- Réseau de neurones récurrents (d)
- Réseau de Petri (d)
- Réseau de Petri P-temporel (d)
- Réseau de Petri P-temporisé (d)
- Réseau de Petri T-temporel (d)
- Réseau de Petri temporel (d)
- Réseau de Petri temporisé (d)
- Réseau de tri (d)
- Réseau invariant d'échelle (d)
- Réseaux de Kahn (d)
- Résumé automatique de texte (d)
- Retour sur trace (d)
- Rétropropagation du gradient (d)
- Richard J. Lipton (d)
- Richard Karp (d)
- Richard Stearns (d)
- Robert C. Prim (d)
- Robert Floyd (d)
- Robert Schapire (d)
- Robert Sedgewick (d)
- Robert Solovay (d)
- Róbert Szelepcsényi (d)
- Robert Tarjan (d)
- Robin Milner (d)
- Ronald Fagin (d)
- Rotation d'un arbre binaire de recherche (d)
- RP (complexité) (d)
- Rudolf Bayer (d)
S
modifier- Salil Vadhan (d)
- Sanjeev Arora (d)
- Satisfiability modulo theories (d)
- Schéma d'approximation en temps polynomial (d)
- Scott Aaronson (d)
- Seinosuke Toda (d)
- Sémantique axiomatique (d)
- Sémantique dénotationnelle (d)
- Sémantique des langages de programmation (d)
- Sémantique opérationnelle (d)
- Séparateur (théorie des graphes) (d)
- Séparation et évaluation (d)
- Sesquipuissance (d)
- Set packing (d)
- Seymour Papert (d)
- Shafi Goldwasser (d)
- Shang-Hua Teng (d)
- Sharp-P (d)
- Sharp-P-complet (d)
- Shlomo Moran (d)
- Shmuel Safra (d)
- Shmuel Winograd (d)
- Shortest job first (d)
- Silvio Micali (d)
- Simulation à événements discrets (d)
- Simulation informatique (d)
- Skolémisation (d)
- Société française de recherche opérationnelle et d'aide à la décision (d)
- Sous-arbre (d)
- Sous-graphe (d)
- Stable (théorie des graphes) (d)
- Stephen Cole Kleene (d)
- Stephen Cook (d)
- Stephen Smale (d)
- Structure de données compressée (d)
- Structure de Kripke (d)
- Stuart Russell (d)
- Subhash Khot (d)
- Suite automatique (d)
- Suite de Baum-Sweet (d)
- Suite de Prouhet-Thue-Morse (d)
- Suite de Rudin-Shapiro (d)
- Surapprentissage (d)
- Système (d)
- Système acceptable de programmation (d)
- Système Bibi-binaire (d)
- Système complexe adaptatif (d)
- Système d'argumentation (d)
- Système d'événement discret (d)
- Système de classeurs (d)
- Système de numération d'Avizienis (d)
- Système de preuve interactive (d)
- Système de transition d'états (d)
- Système expert (d)
- Système F (d)
- Système T (d)
- Systèmes intelligents flous (d)
T
modifier- Table de transition d'état (d)
- Tableau associatif (d)
- Tableau des suffixes (d)
- Tas (informatique) (d)
- Tas binomial (d)
- Tas de Fibonacci (d)
- Taux d'expansion (théorie des graphes) (d)
- Téléportation quantique (d)
- Temps de calcul pseudo-polynomial (d)
- Teratec (d)
- Terme (logique) (d)
- Terminaison d'un algorithme (d)
- Terminaison d'un système de réécriture (d)
- Terry Winograd (d)
- Test de primalité (d)
- Test de primalité AKS (d)
- Test de primalité de Miller-Rabin (d)
- Test de primalité de Solovay-Strassen (d)
- Test de propriété (d)
- Test de Turing (d)
- Théorème CAP (d)
- Théorème d'accélération de Gödel (d)
- Théorème d'accélération linéaire (d)
- Théorème d'Akra-Bazzi (d)
- Théorème d'Hoffman-Singleton (d)
- Théorème d'Immerman-Szelepcsényi (d)
- Théorème d'itération (d)
- Théorème de Brooks (d)
- Théorème de Chomsky-Schützenberger (combinatoire) (d)
- Théorème de Chomsky-Schützenberger (langage formel) (d)
- Théorème de Cook (d)
- Théorème de Fagin (d)
- Théorème de Hall (d)
- Théorème de Karp-Lipton (d)
- Théorème de Kleene (d)
- Théorème de Kruskal (d)
- Théorème de Matiiassevitch (d)
- Théorème de Menger (d)
- Théorème de Myhill-Nerode (d)
- Théorème de Post (d)
- Théorème de Ramsey (d)
- Théorème de récursion de Kleene (d)
- Théorème de Rice (d)
- Théorème de Robertson-Seymour (d)
- Théorème de Savitch (d)
- Théorème de Sipser-Gács-Lautemann (d)
- Théorème des graphes parfaits (d)
- Théorème des variétés d'Eilenberg (d)
- Théorème du point fixe de Kleene (d)
- Théorème flot-max/coupe-min (d)
- Théorème optimisation/séparation (d)
- Théorème PCP (d)
- Théorèmes d'incomplétude de Gödel (d)
- Théorie algorithmique de l'information (d)
- Théorie algorithmique des nombres (d)
- Théorie de l'information (d)
- Théorie de l'ordonnancement (d)
- Théorie de la complexité (informatique théorique) (d)
- Théorie de Vapnik-Chervonenkis (d)
- Théorie des automates (d)
- Théorie des automates finis (d)
- Théorie des domaines (d)
- Théorie des graphes (d)
- Théorie des graphes extrémaux (d)
- Théorie des mécanismes d'incitation (d)
- Théorie des modèles finis (d)
- Théorie des réseaux (d)
- Théorie des types (d)
- Thèse de Church (d)
- Thierry Coquand (d)
- Thomas H. Cormen (d)
- Tierra (simulation informatique) (d)
- Till Tantau (d)
- Tim Roughgarden (d)
- Tommaso Toffoli (d)
- Tracé de graphes (d)
- Transducteur fini (d)
- Transduction rationnelle (d)
- Transformée de Burrows-Wheeler (d)
- Transformée de Hadamard (d)
- Treap (d)
- Tri à bulles (d)
- Tri arborescent (d)
- Tri bitonique (d)
- Tri de Shell (d)
- Tri pair-impair (d)
- Tri par sélection (d)
- Triangulation d'un polygone (d)
- Triangulation de Delaunay (d)
- Triangulation de graphe (d)
- Trie (informatique) (d)
- Turing-complet (d)
- Turing-équivalent (d)
- Turmite (d)
- Typage fort (d)
- Type abstrait (d)
- Type dépendant (d)
- Type vide (d)
U
modifier- U-matrix (d)
- Umesh Vazirani (d)
- Union-Find (d)
V
modifierW
modifier- Walter Savitch (d)
- Warren Weaver (d)
- Weight decay (d)
- Whitfield Diffie (d)
- Wireworld (d)
- Wolfgang Haken (d)
X
modifier- Xavier Leroy (d)
- Xiaolin Wu (d)
Y
modifier- Yann LeCun (d)
- Yoav Freund (d)
- Yoram Moses (d)