Projet:Informatique théorique/Top 100

Les (plus ou moins) 100 pages les plus regardées du projet info théorique au printemps 2016, classées (grossièrement) par thème.

Personnalités

• Alan Turing -(Good article en anglais, GA) Roll-Morton (RM) : diviser partie bio et travaux
• Claude Shannon - RM : pas de sources hormis des détails, sections bio à développer, section technique à vulgariser (?)
• John von Neumann - (GA) RM : pas mal
• Yann LeCun - RM : pas mal, pas bcp de sources en plus à trouver je pense
• Charles Babbage - RM : pas mal, un travail de fond à faire, notamment sur la bio
• Donald Knuth - RM : pas mal

Concepts généraux

• Théorie de l'information
• Machine de Turing
• Algorithmique
• Algorithme
• Théorie des graphes
• Logique
• Parallélisme (informatique)

Algorithmique et maths discrètes

• Algorithme de tri, RM : sur les tris en général : bonnes têtes mais pas ou peu sourcés
  • Tri à bulles
  • Tri par insertion
  • Tri rapide
  • Tri fusion
  • Tri par sélection

• Autour des arbres
  • Algorithme de parcours en profondeur
  • Algorithme de parcours en largeur
  • Arbre binaire de recherche
  • Arbre binaire
  • Arborescence

• Principe algorithmique
  • Recherche dichotomique - (GA) RM : j'ai bossé dessus, il est potable maintenant, mais améliorable
  • Algorithme récursif
  • Heuristique (mathématiques)
  • Itération
  • Méthode itérative
  • Algorithme glouton
  • Algorithme génétique
  • Algorithme de colonies de fourmis

• Algorithmes des maths
  • Élimination de Gauss-Jordan
  • Crible d'Ératosthène
  • Algorithme d'Euclide
  • Décomposition en produit de facteurs premiers
  • Test de primalité
  • Transformation de Fourier rapide
  • Optimisation linéaire
  • Algorithme du simplexe

• Algorithmes de graphes classiques
  • Algorithme A*
  • Algorithme de Dijkstra
  • Algorithme de Bellman-Ford
  • Algorithme de Kruskal - RM: pas de sources
  • Algorithme de Prim

• Théorie de la complexité (informatique théorique)
  • Problème P = NP
  • Problème NP-complet
  • Turing-complet

• Problèmes classiques
  • Problème du voyageur de commerce
  • Problème du sac à dos
  • Coloration de graphe
  • K-moyennes
  • Partitionnement de données
  • Théorie de l'ordonnancement

• Objets classiques
  • Fonction de hachage
  • Générateur de nombres pseudo-aléatoires
  • Analyse de la complexité des algorithmes
  • Distance de Levenshtein
  • Code correcteur

• Géométrie
  • Triangulation de Delaunay
  • Diagramme de Voronoï

Autour des jeux

• Algorithme minimax
• Dilemme du prisonnier
• Élagage alpha-bêta

Quantique

• Calculateur quantique
• Informatique quantique
• Qubit
• Téléportation quantique

Apprentissage

• Partitionnement
  • Méthode des k plus proches voisins
  • K-moyennes
  • Partitionnement de données

• Réseaux de neurones
  • Apprentissage profond
  • Réseau de neurones artificiels
  • Réseau neuronal convolutif

• Autre
  • Test de Turing
  • Apprentissage automatique
  • Machine à vecteurs de support
  • Validation croisée
  • Réseau bayésien
  • Arbre de décision (apprentissage)
  • Modèle de Markov caché
  • Analyse prédictive

Logique

• Théorèmes d'incomplétude de Gödel
• Logique floue
• Calcul des prédicats
• Calcul des propositions

Théorie de la programmation

• Lambda-calcul
• Programmation fonctionnelle
• Ontologie (informatique)

Langages formels

• Expression rationnelle
• Automate fini
• Langage formel

Application, simulation, modélisation

• Aide à la décision
• Round-robin (informatique)
• Simulation informatique
• PageRank
• Analyse prédictive
• Chemin critique
• Réseau de Petri
• Jeu de la vie