Agreg-maths Dvpts Leçons Livres Retours
Se connecter S'inscrire

Utilisateur : Timothée

Développements

Développement : Transformée de Fourier rapide
Télécharger
Références :
Développement : Algorithme CYK
Télécharger
Références :
Langages formels, Calculabilité et Complexité - Carton
Le Langage des machines - Floyd, Beigel
Développement : Algorithmes exponentiels pour INDEP
Télécharger
Références :
Algorithms and complexity - Wilf
Développement : Algorithme de Floyd-Warshall
Télécharger
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Développement : Algorithme KMP
Télécharger
Références :
Développement : Algorithme d'unification
Télécharger
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Développement : Arbres Splay
Télécharger
Références :
Développement : Calcul de Premier et Suivant
Télécharger
Références :
Les compilateurs - Reinhard Wilhelm, Dieter Maurer
Développement : Complétude de la méthode de résolution
Télécharger
Références :
Fondements mathématiques de l'informatique - Stern
Développement : Constructivité de la logique intuitionniste
Télécharger
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Développement : Décidabilité de l'arithmétique de Presburger
Télécharger
Références :
Développement : Fonctions récursives et Turing calculabilité
Télécharger
Références :
Développement : Groupes totalement ordonnable
Télécharger
Références :
Développement : Indécidabilité de la confluence et de la terminaison
Télécharger
Références :
Développement : Algorithme de Kleene efficace
Télécharger
Références :
Développement : Médiane en temps linéaire
Télécharger
Références :
Développement : Problème du voyageur de commerce euclidien
Télécharger
Références :
Développement : Rationnalité du langage de pile
Télécharger
Références :
Développement : Recherche des facteurs à distance d'édition au plus k
Télécharger
Références :
Développement : Théorème de Cook
Télécharger
Références :
Développement : Théorie des ordres denses
Télécharger
Références :
Développement : Théorème d'Immerman-Szelepcsergi
Télécharger
Références :
Développement : Théorème de Rice
Télécharger
Références :
Développement : Tri par tas
Télécharger
Références :
Développement : Tri des suffixes
Télécharger
Références :
Développement : Suite de polygones
Télécharger
Références :

Leçons