Utilisateur:Caocoa/Livres/"Algorithmes génétiques"
|
Ce livre utilisateur est une collection d'articles Wikipédia générée par un utilisateur qui peut être facilement sauvegardée, rendue sous forme électronique et commandée comme livre imprimé. Si vous êtes le créateur de ce livre et que vous avez besoin d'aide, voyez Aide:Livres (conseil généraux) et Projet:Livres Wikipédia (questions et assistance). | ||||||||
| [ Télécharger en PDF ]
[ Charger dans le Créateur de livres ] [ Commander le livre imprimé ] |
|||||||||
| [ FAQ ] [ Problèmes ] [ Aide ] [ Projet Wikipédia ] [ Modifications récentes ] | |||||||||
Algorithmes génétiques[modifier | modifier le code]
Quels sont les avantages des algorithmes génétiques sur les algorithmes exacts “classiques” ?[modifier | modifier le code]
- Algorithmique
- Décidabilité
- Ensemble récursif
- Problème de l'arrêt
- Récursivement énumérable
- Automate fini
- Automate cellulaire
- Machine de Turing
- Thèse de Church
- Théorie de l'ordonnancement
- Parallélisme (informatique)
- Programmation concurrente
- Réduction polynomiale
- Théorie de la complexité des algorithmes
- 21 problèmes NP-complets de Karp
- Assistant de preuve
- Calcul des prédicats
- Correspondance de Curry-Howard
- Fonction récursive
- Lambda-calcul
- Théorie des types
- Caml
- Objective Caml
- Théorème d'incomplétude de Gödel
- Compilateur
- Expression rationnelle
- Grammaire formelle
- Langage rationnel
- Théorie des langages
- Sémantique des langages de programmation
- Sémantique opérationnelle
- Sémantique dénotationnelle
- Sémantique axiomatique
- Interprétation abstraite
- Méthode formelle (informatique)
- Model checking
- Algorithme du simplexe
- Géométrie algorithmique
- Décidable
- Dixième problème de Hilbert
- Théorie des automates
- Machine de Blum-Shub-Smale
- Résultats effectifs en théorie des nombres
- Complexité
- Explosion combinatoire
- Fonction récursive