Utilisateur:Zooky/Suggestions d'articles à compléter
Programmation modifier
- Entrées-sorties, Argument (de fonction), passage par valeur/adresse
- Expression
- Compléter
- Fonction imbriquée
- Type (informatique)
- Chaîne de caractères
- Ajouter une partie plus haut niveau.
- Variable globale, Variable locale
- Fonction informatique
- Récursivité (principalement section « en informatique et en logique », redirigeant vers fonction récursive et algorithme récursif)
- Fonction récursive
- Récursion mutuelle
- Ajouter une section sur les types mutuellement récursifs.
- Parler de la conversion vers une récursivité simple.
- Programmation dynamique
Méthodes formelles modifier
Logique modifier
- Logique de Hoare
- Logique temporelle
- Ajouter illustrations/exemples (cf. anglais)
- Paragraphe sur les motivations historiques
Sémantique modifier
- Sémantique des langages de programmation
- Sémantique opérationnelle
- Sémantique dénotationnelle
- Sémantique axiomatique
Vérification modifier
- Vérification formelle (laconique, mérite plus qu'une redirection vers méthode formelle)
- Interprétation abstraite
- Model checking
Langages formels & automates modifier
Algorithmes modifier
- Dichotomie
- Étoffer la présentation générale, discuter un peu plus en détail la performances.
- Algorithme de recherche
- Algorithme déterministe, Algorithme non-déterministe
- Algorithme probabiliste
- Algorithme d'approximation
Propriétés des algorithmes modifier
- Correction d'un algorithme
- Terminaison d'un algorithme
- Complexité en temps
- Complexité dans le pire des cas, Complexité dans le meilleur des cas
Algorithmes de tri modifier
- Algorithme de tri
- Ajouter les tableaux récapitulatifs (cf. version anglaise très complète)
- Supprimer les graphes et remplacer par une section sur l'évaluation empirique
- Tri par sélection
- Tri à bulles
- Tri par insertion
- Tri fusion
Théorie de la complexité modifier
- Complexité
- Détailler les exemples
- Détailler les classes de complexité (cf. classe de complexité)
- Classe de complexité (laconique)
- Il reste tout à faire
- La version en anglais est un bon point de départ
- Réduction polynomiale ?
Graphes modifier
- Algorithme de parcours en profondeur, Algorithme de parcours en largeur, Parcours de graphe
- Ajouter du contexte.
- Graphe orienté
- Compléter (cf. version anglaise)
- Rajouter articles connexes
- Clique (théorie des graphes)
- À compléter
- Algorithme de Floyd-Warshall
- Applications
- Exemple
Arbres modifier
Arbre binaire, Arbre binaire de recherche
Problèmes et algorithmes liés modifier
- Chemins : Algorithme de Dijkstra, Algorithme de Bellman-Ford
- Arbres couvrants minimaux : Algorithme de Kruskal, Algorithme de Prim
- Composantes connexes : Algorithme de Tarjan
Architecture modifier
- Mémoire, Registre (informatique)
- Architecture de von Neumann
- À compléter
- Unité arithmétique et logique, Unité de contrôle
- Arborescence
- Mieux organiser les différentes parties
Théorie de l'information modifier
- Codage
- Article à repenser
- Théorie de l'information
- Codage de Huffman
- Persistance des données
Représentation de l'information modifier
Cryptographie modifier
- Cryptographie
- À compléter, mais demande pas mal de travail
- Clé de chiffrement
- Compléter, ajouter des parties
- Cryptographie asymétrique
- Compléter les différentes parties
Réseau modifier
Bases de données modifier
En vrac modifier
- Non-rivalité de l’information
- Créer un article sur le sujet ? Intitulé exact à réfléchir.
- Modèle de calcul
- Problème du voyageur de commerce
- Compléter
- Ajouter des illustrations (cf. autres langages)
- Problème d'affectation
- Très peu complet
- Théorie des types