Contributions de l’utilisateur
(les plus récentes | les plus anciennes) Voir (100 plus récentes | 100 plus anciennes) (20 | 50 | 100 | 250 | 500).
- 18 juin 2012 à 09:45 (diff | hist) . . (+623) . . N Exemple d'un programme PROLOG (Page créée avec « Où l'on explique comment fonctionne PROLOG, et l'on découvre un problème familial. == Développement == *24px [[Média:dvt_prolog.tex | … »)
- 18 juin 2012 à 09:42 (diff | hist) . . (+725) . . N Complétude de la méthode de résolution (Page créée avec « Où l'on montre que la méthode de résolution a un sens… == Développement == *24px [[Média:dvt_resolution.tex | Complétude de la mé… »)
- 18 juin 2012 à 09:39 (diff | hist) . . (+85) . . Développements par thèmes (→Logique)
- 18 juin 2012 à 09:38 (diff | hist) . . (0) . . N Fichier:Dvt resolution.tex (actuel)
- 18 juin 2012 à 09:38 (diff | hist) . . (0) . . N Fichier:Dvt resolution.pdf (actuel)
- 18 juin 2012 à 09:38 (diff | hist) . . (0) . . N Fichier:Dvt prolog.tex (actuel)
- 18 juin 2012 à 09:38 (diff | hist) . . (0) . . N Fichier:Dvt prolog.pdf (actuel)
- 16 juin 2012 à 14:20 (diff | hist) . . (0) . . N Fichier:Dvt cook.pdf (actuel)
- 16 juin 2012 à 14:19 (diff | hist) . . (0) . . N Fichier:Dvt cook.tex (actuel)
- 16 juin 2012 à 14:19 (diff | hist) . . (+629) . . N Théorème de Cook (Page créée avec « Où l'on (re)découvre avec nostalgie son premier problème NP-complet… == Développement == *24px [[Média:dvt_cook.tex | Théorème de … »)
- 16 juin 2012 à 14:16 (diff | hist) . . (+26) . . m Développements par thèmes (→Complexité)
- 11 juin 2012 à 15:31 (diff | hist) . . (+436) . . N Action du groupe modulaire sur le demi-plan de Poincaré (Page créée avec « Où l'on cherche des générateurs de SL_2(Z). Recasage : * 108 -- Exemples de parties génératrices d'un groupe. * [[139 -- Applications des nombres complexes à la g… »)
- 11 juin 2012 à 15:30 (diff | hist) . . (0) . . N Fichier:Dvt psl2.tex (actuel)
- 11 juin 2012 à 15:30 (diff | hist) . . (0) . . N Fichier:Dvt psl2.pdf (actuel)
- 11 juin 2012 à 15:28 (diff | hist) . . (+189) . . Développements par thèmes
- 9 juin 2012 à 17:58 (diff | hist) . . (+750) . . N Théorème de Gauß pour les polygones réguliers constructibles (Page créée avec « On caractérise les polygones réguliers constructibles à la règle et au compas. Recasement : * 110 -- Nombres premiers. Applications. * [[112 -- Corps finis. Appli… »)
- 9 juin 2012 à 17:58 (diff | hist) . . (0) . . N Fichier:Dvt gauss.tex (actuel)
- 9 juin 2012 à 17:58 (diff | hist) . . (0) . . N Fichier:Dvt gauss.pdf (actuel)
- 9 juin 2012 à 17:55 (diff | hist) . . (+284) . . Développements par thèmes
- 6 juin 2012 à 17:44 (diff | hist) . . (-3) . . m Algorithme d'unification
- 6 juin 2012 à 17:44 (diff | hist) . . (+462) . . N Algorithme d'unification (Page créée avec « Où l'on montre que la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre" ==Recasement== * [[919 -- Unification : algorithmes et appli… »)
- 6 juin 2012 à 17:43 (diff | hist) . . (0) . . N Fichier:Dvt unif.pdf (actuel)
- 6 juin 2012 à 17:43 (diff | hist) . . (0) . . N Fichier:Dvt unif.tex (actuel)
- 6 juin 2012 à 17:40 (diff | hist) . . (+93) . . Développements par thèmes
- 6 juin 2012 à 17:37 (diff | hist) . . (0) . . N Fichier:Dvt mersenne.tex (actuel)
- 6 juin 2012 à 17:37 (diff | hist) . . (0) . . N Fichier:Dvt mersenne.pdf (actuel)
- 6 juin 2012 à 17:37 (diff | hist) . . (+493) . . N Primalité des nombres de Mersenne (Page créée avec « … aussi appelés "Répunits binaires" Recasement : * 109 -- Anneaux Z/nZ. Applications. * 110 -- Nombres premiers. Applications. * [[112 -- Corps finis. Appli… »)
- 6 juin 2012 à 17:33 (diff | hist) . . (+82) . . Développements par thèmes
- 31 mai 2012 à 21:37 (diff | hist) . . (+174) . . Méthode de Newton
(les plus récentes | les plus anciennes) Voir (100 plus récentes | 100 plus anciennes) (20 | 50 | 100 | 250 | 500).