Utilisateur : Volgaar
Développements
Développement : Méthode archimédienne pour approcher Pi
Références :
131 Développements pour l’oral - D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron
Développement : Caractérisation des ensembles Récursivement Énumérables
Cori-Lascar tome 2, p.41.
Références :
Logique mathématique Tome 2 - René Cori, Daniel Lascar
131 Développements pour l’oral - D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron
Développement : Algorithme de Dijkstra
Présentation à arranger selon la leçon (appuyer la partie correction, programmation gloutonne ou complexité…).
Références :
Développement : 2-SAT est NL-dur
Références :
131 Développements pour l’oral - D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron
Développement : Théorème de compacité du calcul propositionnel
Cette référence permet de recaser aussi dans la 918 et la 924 quitte à revoir l’organisation du développement (aidé par les commentaires). En effet, le théorème est démontré de deux manières différentes: via la topologie produit habituelle et via les arbres infinis dont chaque sommet a un degret fini.
Références :
131 Développements pour l’oral - D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron
Développement : Aho-Corasick
Le Dragon : Chap. 3 — Lexical Analysis, Section 4 — Token Recognition
Références :
Compilers - Aho, Ullman, Lam, Sethi
Développement : Résultant : L'ensemble des nombres algébriques est une k-algèbre
Objectif Agrég’: chapitre 18 Résultant, p.581.
Références :
Objectif Agrégation - Beck, Malick, Peyré