Développements par thèmes : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
m (Complexité)
(Logique)
Ligne 178 : Ligne 178 :
 
* [[Fonction d'Ackermann]]
 
* [[Fonction d'Ackermann]]
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]
 +
* [[Complétude de la méthode de résolution]]
 +
* [[Exemple d'un programme PROLOG]]
 +
 
=== Réécriture ===
 
=== Réécriture ===
 
* [[Théorème de Higman]]
 
* [[Théorème de Higman]]
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]

Version du 18 juin 2012 à 08:39

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans toutes les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : Développements.

Algèbre

Algèbre linéaire, bilinéaire, réduction d'endomorphismes

Anneaux, arithmétique, dénombrement

Géométrie

Théorie des corps, irréductibilité, primalité

Théorie des groupes


Analyse

Analyse fonctionelle et distributions

Analyse numérique, méthodes d'approximation

Calcul différentiel et fonctions holomorphes

Équations différentielles

Intégration

Probabilités

Topologie

Non classés

Informatique

Algorithmique et structures de données

Complexité

Décidabilité

Langages formels

Logique

Réécriture