Contributions de Yukad

17 décembre 2018

• 01:3817 décembre 2018 à 01:38 diff hist +390‎ Élimination des quantificateurs ‎ →‎Critère 2 : Correction de la preuve (qui était fausse). Je n'ai fait que la réciproque, le sens direct est plus compliqué.
• 00:5417 décembre 2018 à 00:54 diff hist +441‎ Élimination des quantificateurs ‎ →‎Modèle-complèt : Corrections et mise en forme
• 00:4717 décembre 2018 à 00:47 diff hist +7‎ m Élimination des quantificateurs ‎ →‎Critère 3

16 décembre 2018

• 21:3216 décembre 2018 à 21:32 diff hist +1‎ m Élimination des quantificateurs ‎ →‎Critère 2
• 21:1116 décembre 2018 à 21:11 diff hist +133‎ Élimination des quantificateurs ‎ Fautes de frappes et mise en forme

17 octobre 2018

• 17:4717 octobre 2018 à 17:47 diff hist −7‎ m Algèbre de Lindenbaum ‎ →‎Les paradoxes de l'implication formelle
• 17:3717 octobre 2018 à 17:37 diff hist +15‎ m Algèbre de Lindenbaum ‎ Utilisation de ≡ prêtant à confusion
• 17:1217 octobre 2018 à 17:12 diff hist +38‎ m Algèbre de Lindenbaum ‎ →‎Deux façons de voir les algèbres de Boole
• 17:1017 octobre 2018 à 17:10 diff hist +19‎ Algèbre de Lindenbaum ‎ →‎Deux façons de voir les algèbres de Boole
• 17:0817 octobre 2018 à 17:08 diff hist +12‎ Algèbre de Lindenbaum ‎Aucun résumé des modifications
• 17:0717 octobre 2018 à 17:07 diff hist −59‎ Algèbre de Lindenbaum ‎Aucun résumé des modifications Balise : Éditeur visuel : basculé

30 janvier 2018

• 21:1630 janvier 2018 à 21:16 diff hist −546‎ Paradoxe du buveur ‎ Correction de certaines de fautes de français/d'expressions (voire d'erreurs de logique) qui rendaient la lecture difficile.

18 octobre 2017

• 11:5918 octobre 2017 à 11:59 diff hist 0‎ m Problème du bandit manchot ‎Aucun résumé des modifications Balise : Éditeur visuel

17 septembre 2017

• 23:1317 septembre 2017 à 23:13 diff hist +17‎ m Espérance conditionnelle ‎ →‎Cas discret
• 23:0717 septembre 2017 à 23:07 diff hist +1‎ m Espérance conditionnelle ‎ →‎Cas discret

10 juin 2017

• 14:2710 juin 2017 à 14:27 diff hist +5‎ m Foncteur adjoint ‎ →‎Définition Balise : Éditeur visuel

2 juin 2017

• 21:272 juin 2017 à 21:27 diff hist +5‎ m Motus (jeu télévisé) ‎ →‎Les équipes doivent trouver un mot Balise : Éditeur visuel

11 mai 2017

• 08:0711 mai 2017 à 08:07 diff hist −5‎ m Demi-anneau ‎ →‎Demi-anneau étoilé
• 08:0511 mai 2017 à 08:05 diff hist −1‎ m Demi-anneau ‎ →‎Exemples généraux

15 mars 2017

• 11:5215 mars 2017 à 11:52 diff hist +6‎ Théorème d'élimination des coupures ‎ →‎La règle de coupure
• 11:4815 mars 2017 à 11:48 diff hist +60‎ Théorème d'élimination des coupures ‎ →‎La règle de coupure

14 mars 2017

• 12:2214 mars 2017 à 12:22 diff hist +2‎ m Théorème de compacité ‎ →‎Autre démonstration utilisant le théorème de Tykhonov
• 12:2114 mars 2017 à 12:21 diff hist −13‎ Théorème de compacité ‎ →‎Autre démonstration utilisant le théorème de Tykhonov
• 11:4114 mars 2017 à 11:41 diff hist +63‎ Théorème de compacité ‎ →‎Démonstration dans le cas général

12 mars 2017

• 02:5812 mars 2017 à 02:58 diff hist +1‎ Scream (film, 1996) ‎ →‎Synopsis

16 février 2017

• 16 février 2017 à 00:40 (diff | hist) . . +267‎ . . <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)
• 16 février 2017 à 00:40 (diff | hist) . . −211‎ . . <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)
• 16 février 2017 à 00:37 (diff | hist) . . +264‎ . . <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)

15 février 2017

• 15:5315 février 2017 à 15:53 diff hist −8‎ m Aide:Pièges à éviter ‎Aucun résumé des modifications Balise : Éditeur visuel
• 15:5115 février 2017 à 15:51 diff hist +8‎ m Aide:Pièges à éviter ‎Aucun résumé des modifications Balise : Éditeur visuel
• 15 février 2017 à 15:50 (diff | hist) . . −8‎ . . <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)
• 15 février 2017 à 15:50 (diff | hist) . . +8‎ . . <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)
• 15 février 2017 à 15:48 (diff | hist) . . +60‎ . . N <math>𝜆f.(𝜆x.f(xx))(𝜆x.f(xx))</math> sur Wikipédia:Discussions structurées/Bac à sable (Cacher)

5 février 2017

• 13:285 février 2017 à 13:28 diff hist −78‎ Utilisateur:Yukad ‎Aucun résumé des modifications actuelle
• 13:225 février 2017 à 13:22 diff hist +281‎ N Utilisateur:Yukad ‎ Nouvelle page : Bonjour à tous ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique à l'École Normale Supérieure Paris-Saclay. Voici mon blog : [http://younesse.net younesse] {{Uti...

8 janvier 2017

• 13:078 janvier 2017 à 13:07 diff hist +9‎ m Union-find ‎ →‎Implémentation utilisant des forêts
• 13:058 janvier 2017 à 13:05 diff hist 0‎ m Union-find ‎ →‎Implémentation utilisant des forêts

26 octobre 2015

• 10:1326 octobre 2015 à 10:13 diff hist −1‎ Variance (thermodynamique) ‎ →‎Formule de la variance Balises : Modification par mobile Modification par le web mobile

27 juillet 2015

• 20:5527 juillet 2015 à 20:55 diff hist +3‎ Théorème de Liouville (approximation diophantienne) ‎ →‎Démonstration
• 20:5527 juillet 2015 à 20:55 diff hist −1‎ Théorème de Liouville (approximation diophantienne) ‎ →‎Démonstration
• 20:5427 juillet 2015 à 20:54 diff hist +65‎ Théorème de Liouville (approximation diophantienne) ‎ →‎Démonstration
• 20:4527 juillet 2015 à 20:45 diff hist −5‎ Théorème de Liouville (approximation diophantienne) ‎ →‎Démonstration
• 20:4527 juillet 2015 à 20:45 diff hist +67‎ Théorème de Liouville (approximation diophantienne) ‎ →‎Démonstration
• 16:4427 juillet 2015 à 16:44 diff hist +193‎ Principe des tiroirs ‎ →‎Applications

6 juillet 2015

• 06:116 juillet 2015 à 06:11 diff hist −1‎ Mouvement à force centrale ‎ →‎Équation de Kepler Balises : Modification par mobile Modification par le web mobile

2 juillet 2015

• 23:482 juillet 2015 à 23:48 diff hist +1‎ Identités de Newton ‎ →‎À partir du cas particulier n = k Balises : Modification par mobile Modification par le web mobile
• 02:212 juillet 2015 à 02:21 diff hist −1‎ Onde plane ‎ →‎Onde électromagnétique plane polarisée Balises : Modification par mobile Modification par le web mobile
• 02:182 juillet 2015 à 02:18 diff hist +13‎ Onde plane ‎ →‎Onde électromagnétique plane polarisée Balises : Modification par mobile Modification par le web mobile
• 02:152 juillet 2015 à 02:15 diff hist −4‎ Onde plane ‎ →‎Onde électromagnétique plane polarisée Balises : Modification par mobile Modification par le web mobile

22 juin 2015

• 22:0622 juin 2015 à 22:06 diff hist +4‎ Jour sidéral ‎ →‎Le plus simple