Voici la liste de mes développements pour les leçons d'informatique (16 seulement !). Pour savoir à quelles leçons se rapportent tel ou tel développement, consulter la liste de mes couplages

• La fonction d'Ackermenn n'est pas primitive récursive
• Automate des occurrences
• Algorithme de Bellman-Ford
• Calculable implique récursive
• Complétude de la résolution
• Théorème de Cook
• Algorithme CYK
• Algorithme FFT
• Hachage parfait
• Décidabilité de Presburger
• Autour du PVCE
• Théorème de Rice
• Analyse du tri rapide randomisé
• Analyse du tri par tas
• Transformation de Tseitin
• Algorithme d'unification

Pour me contacter :

aude.le-gluher[at]loria.fr