Contributions de l’utilisateur
(les plus récentes | les plus anciennes) Voir (50 plus récentes | 50 plus anciennes) (20 | 50 | 100 | 250 | 500).
- 18 juin 2012 à 08: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 à 08: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 à 08:39 (diff | hist) . . (+85) . . Développements par thèmes (→Logique)
- 18 juin 2012 à 08:38 (diff | hist) . . (0) . . N Fichier:Dvt resolution.tex (actuel)
- 18 juin 2012 à 08:38 (diff | hist) . . (0) . . N Fichier:Dvt resolution.pdf (actuel)
- 18 juin 2012 à 08:38 (diff | hist) . . (0) . . N Fichier:Dvt prolog.tex (actuel)
- 18 juin 2012 à 08:38 (diff | hist) . . (0) . . N Fichier:Dvt prolog.pdf (actuel)
- 16 juin 2012 à 13:20 (diff | hist) . . (0) . . N Fichier:Dvt cook.pdf (actuel)
- 16 juin 2012 à 13:19 (diff | hist) . . (0) . . N Fichier:Dvt cook.tex (actuel)
- 16 juin 2012 à 13: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 à 13:16 (diff | hist) . . (+26) . . m Développements par thèmes (→Complexité)
- 11 juin 2012 à 14: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 à 14:30 (diff | hist) . . (0) . . N Fichier:Dvt psl2.tex (actuel)
- 11 juin 2012 à 14:30 (diff | hist) . . (0) . . N Fichier:Dvt psl2.pdf (actuel)
- 11 juin 2012 à 14:28 (diff | hist) . . (+189) . . Développements par thèmes
- 9 juin 2012 à 16: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 à 16:58 (diff | hist) . . (0) . . N Fichier:Dvt gauss.tex (actuel)
- 9 juin 2012 à 16:58 (diff | hist) . . (0) . . N Fichier:Dvt gauss.pdf (actuel)
- 9 juin 2012 à 16:55 (diff | hist) . . (+284) . . Développements par thèmes
- 6 juin 2012 à 16:44 (diff | hist) . . (-3) . . m Algorithme d'unification
- 6 juin 2012 à 16: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 à 16:43 (diff | hist) . . (0) . . N Fichier:Dvt unif.pdf (actuel)
- 6 juin 2012 à 16:43 (diff | hist) . . (0) . . N Fichier:Dvt unif.tex (actuel)
- 6 juin 2012 à 16:40 (diff | hist) . . (+93) . . Développements par thèmes
- 6 juin 2012 à 16:37 (diff | hist) . . (0) . . N Fichier:Dvt mersenne.tex (actuel)
- 6 juin 2012 à 16:37 (diff | hist) . . (0) . . N Fichier:Dvt mersenne.pdf (actuel)
- 6 juin 2012 à 16: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 à 16:33 (diff | hist) . . (+82) . . Développements par thèmes
- 31 mai 2012 à 20:37 (diff | hist) . . (+174) . . Méthode de Newton
- 31 mai 2012 à 20:31 (diff | hist) . . (0) . . N Fichier:Dvt newton.pdf (actuel)
- 31 mai 2012 à 17:20 (diff | hist) . . (+552) . . N Probabilité que deux entiers soient premiers entre eux (Page créée avec « Où l'on relie proba, fonction de Möbius et Pi. Recasement : * 110 -- Nombres premiers. Applications. * [[145 -- Méthodes combinatoires, problèmes de dénombrement… »)
- 31 mai 2012 à 17:16 (diff | hist) . . (+63) . . Développements
- 31 mai 2012 à 17:16 (diff | hist) . . (0) . . N Fichier:Dvt proba premier.tex (actuel)
- 31 mai 2012 à 17:16 (diff | hist) . . (0) . . N Fichier:Dvt proba premier.pdf (actuel)
- 25 mai 2012 à 19:01 (diff | hist) . . (+542) . . N Isomorphisme entre M n(K) et son dual (Page créée avec « Où l'on caractérise le dual de M_n(K). Application aux hyperplans. Recasage : * [[120 -- Dimension d'un espace vectoriel (on se limitera au cas de la dimension finie). Ran… »)
- 25 mai 2012 à 19:00 (diff | hist) . . (0) . . N Fichier:Dvt dual mnk.tex (actuel)
- 25 mai 2012 à 19:00 (diff | hist) . . (0) . . N Fichier:Dvt dual mnk.pdf (actuel)
- 25 mai 2012 à 18:57 (diff | hist) . . (+45) . . Développements
- 23 mai 2012 à 19:28 (diff | hist) . . (0) . . N Fichier:Dvt fresnel.tex (actuel)
- 23 mai 2012 à 19:28 (diff | hist) . . (0) . . N Fichier:Dvt fresnel.pdf (actuel)
- 23 mai 2012 à 19:28 (diff | hist) . . (+4) . . m Développements
- 23 mai 2012 à 19:28 (diff | hist) . . (+507) . . N Intégrale de Fresnel (Page créée avec « Où l'on calcule une intégrale, a.k.a « la foire à Fubini ». Recasement : * [[236 -- Illustrer par des exemples quelques méthodes de calculs d'intégrales de fonction… »)
- 23 mai 2012 à 19:24 (diff | hist) . . (+25) . . Développements
- 28 avril 2012 à 11:34 (diff | hist) . . (+51) . . Discussion:Bibliographie
- 24 avril 2012 à 17:55 (diff | hist) . . (+4) . . 909 -- Langages rationnels. Exemples et applications.
- 24 avril 2012 à 17:50 (diff | hist) . . (+376) . . N Théorème de Higman (Page créée avec « Les antichaînes sont finies. == Développement == *24px Théorème de Higman *[[Fichier:Pdf.png|alt=Tex|link=|… »)
- 24 avril 2012 à 17:50 (diff | hist) . . (0) . . N Fichier:Dvt higman.tex (actuel)
- 24 avril 2012 à 17:50 (diff | hist) . . (0) . . N Fichier:Dvt higman.pdf (actuel)
- 24 avril 2012 à 17:48 (diff | hist) . . (+27) . . Développements
- 18 avril 2012 à 09:42 (diff | hist) . . (+1) . . m Fonction d'Ackermann (Cori number 2)
(les plus récentes | les plus anciennes) Voir (50 plus récentes | 50 plus anciennes) (20 | 50 | 100 | 250 | 500).