Contributions de l’utilisateur
(les plus récentes | les plus anciennes) Voir (20 plus récentes | 20 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
(les plus récentes | les plus anciennes) Voir (20 plus récentes | 20 plus anciennes) (20 | 50 | 100 | 250 | 500).