Contributions de Backtracking

24 mai 2024

• 12:5324 mai 2024 à 12:53 diff hist −1‎ m Théorème de Rice ‎ →‎Explication de l'énoncé : retourner -> renvoyer actuelle Balise : Éditeur visuel

30 juin 2023

• 15:5530 juin 2023 à 15:55 diff hist −7‎ m Suite de Fibonacci ‎ →‎Algorithme récursif naïf : En français, on ne dit pas << retourner >> mais << renvoyer >>. Retourner est un anglicisme, mais surtout un contresens potentiel (retourner une liste, un tableau, etc.) Cf Vocabulaire international de l'informatique, AFNOR, 1975. Balise : Éditeur visuel

18 novembre 2022

• 08:4218 novembre 2022 à 08:42 diff hist +4‎ m Robin Milner ‎ →‎Honneurs et distinctions : lien vers la page de Xavier Leroy

14 septembre 2022

• 13:5314 septembre 2022 à 13:53 diff hist +21‎ m Jean-Christophe Filliâtre ‎ →‎Publications : nombre de pages publications Balise : Éditeur visuel
• 13:5214 septembre 2022 à 13:52 diff hist +550‎ Jean-Christophe Filliâtre ‎ →‎Publications : ajout d'une publication Balise : Éditeur visuel : basculé

3 février 2022

• 19:553 février 2022 à 19:55 diff hist +762‎ Discussion:Laboratoire Méthodes Formelles/Admissibilité ‎ →‎Conserver : arguments en faveur de la création de la page LMF
• 19:443 février 2022 à 19:44 diff hist +4‎ Patricia Bouyer-Decitre ‎ lien vers LMF Balise : Éditeur visuel : basculé
• 19:373 février 2022 à 19:37 diff hist −59‎ Gilles Dowek ‎ changement de laboratoire : LSV -> LMF Balise : Éditeur visuel : basculé
• 19:363 février 2022 à 19:36 diff hist +1‎ Laboratoire de recherche en informatique ‎ lien vers LMF Balise : Éditeur visuel : basculé
• 19:353 février 2022 à 19:35 diff hist +161‎ Laboratoire spécification et vérification ‎ fusion dans le LMF Balise : Éditeur visuel : basculé

11 février 2021

• 16:0611 février 2021 à 16:06 diff hist +449‎ Wikipédia:Demande de restauration de page ‎ →‎Laboratoire Méthodes Formelles
• 13:0311 février 2021 à 13:03 diff hist +1 692‎ Wikipédia:Demande de restauration de page ‎ →‎Laboratoire Méthodes Formelles : nouvelle section
• 10:3911 février 2021 à 10:39 diff hist −11‎ m Utilisateur:Backtracking ‎Aucun résumé des modifications actuelle Balise : Éditeur visuel
• 10:3811 février 2021 à 10:38 diff hist +23‎ m Lexical Markup Framework ‎ ajout homonymie LMF

10 février 2021

• 16:2610 février 2021 à 16:26 diff hist +79‎ Jean-Christophe Filliâtre ‎ ajout de catégories
• 16:2010 février 2021 à 16:20 diff hist −52‎ Jean-Christophe Filliâtre ‎ mise à jour laboratoire (LRI -> LMF) Balise : Éditeur visuel

20 juillet 2020

• 20:1020 juillet 2020 à 20:10 diff hist +285‎ Jean-Christophe Filliâtre ‎ →‎Publications : ISBN+lien ouvrage Balise : Éditeur visuel

10 avril 2020

• 10 avril 2020 à 14:13 (diff | hist) . . +471‎ . . N retourner / renvoyer sur Discussion utilisateur:Fschwarzentruber (Cacher)
• 14:0510 avril 2020 à 14:05 diff hist 0‎ m Glossaire de la théorie des graphes ‎ →‎C : typo Balise : Éditeur visuel

7 avril 2020

• 10:457 avril 2020 à 10:45 diff hist +76‎ John McCarthy ‎ →‎Liens externes : -> Annexes ; ajout d'articles connexes, pour insérer un lien vers la fonction 91 Balise : Éditeur visuel

27 mars 2020

• 15:4127 mars 2020 à 15:41 diff hist 0‎ m Diviser pour régner (informatique) ‎ retourner -> renvoyer (en français, « retourner » est un anglicisme et surtout un contresens potentiel, comme dans « retourner la liste des entiers de 1 à 10 ») Balise : Éditeur visuel

13 novembre 2019

• 16:2313 novembre 2019 à 16:23 diff hist −1‎ m Gérard Huet ‎ →‎Distinctions : ACM Software *System* Award et c'est en 2013, pas 2014 Balise : Éditeur visuel

10 janvier 2019

• 16:0910 janvier 2019 à 16:09 diff hist −2‎ m Mémoïsation ‎ →‎Mémoïsation automatique : en français, on ne dit pas « retourner » mais « renvoyer » (pour le résultat d'une fonction) Balise : Éditeur visuel

3 septembre 2018

• 21:473 septembre 2018 à 21:47 diff hist −1‎ m Algorithme de Kruskal ‎ →‎Pseudo-code : en français, on ne dit pas "retourner" une valeur, mais "renvoyer" une valeur

22 décembre 2017

• 09:5222 décembre 2017 à 09:52 diff hist +2‎ m Technique de multiplication dite russe ‎ →‎Algorithme : typo Balise : Éditeur visuel
• 09:5122 décembre 2017 à 09:51 diff hist −1‎ m Technique de multiplication dite russe ‎ →‎Algorithme : En français, on ne dit pas << retourner >> mais << renvoyer >>. Retourner est un anglicisme, mais surtout un contresens potentiel (retourner une liste, un tableau, etc.) Cf Vocabulaire international de l'informatique, AFNOR, 1975. Balise : Éditeur visuel

19 juin 2017

• 08:4019 juin 2017 à 08:40 diff hist +1‎ m Problème de Monty Hall ‎ →‎Un énoncé actuel exempt d'ambiguïté : orth Balise : Éditeur visuel
• 08:4019 juin 2017 à 08:40 diff hist +1‎ m Problème de Monty Hall ‎ →‎Un énoncé actuel exempt d'ambiguïté : typo Balise : Éditeur visuel

9 mai 2017

• 10:339 mai 2017 à 10:33 diff hist +1‎ m Ferdinand Monoyer ‎ manquait un point Balise : Éditeur visuel

14 avril 2016

• 13:2314 avril 2016 à 13:23 diff hist −31‎ Produit matriciel ‎ →‎Aspects algorithmiques : Karatsuba n'a jamais été un algorithme de multiplication de matrices Balise : Éditeur visuel

8 février 2016

• 13:598 février 2016 à 13:59 diff hist +4‎ m Utilisateur:Backtracking ‎ màj Balise : Éditeur visuel

1 juillet 2015

• 20:381 juillet 2015 à 20:38 diff hist −2‎ Suite de Fibonacci ‎ →‎Algorithme récursif naïf : en français, on ne dit pas retourner une valeur (anglicisme + contresens potentiel) mais renvoyer une valeur (cf AFNOR 1975)

15 juin 2015

• 19:3615 juin 2015 à 19:36 diff hist +1‎ Claude Pair ‎ espace manquante Balise : Éditeur visuel
• 09:1415 juin 2015 à 09:14 diff hist +33‎ Prix Michel-Monpetit ‎ →‎Lauréats : lauréate 2015 Balise : Éditeur visuel

7 novembre 2014

• 10:457 novembre 2014 à 10:45 diff hist +4‎ m Distance de Levenshtein ‎ →‎Algorithme de Levenshtein : en français, on ne dit pas qu'une fonction retourne une valeur, mais qu'elle renvoie une valeur (voir par exemple le dictionnaire informatique de l'AFNOR) Balise : Éditeur visuel

30 janvier 2013

• 21:1730 janvier 2013 à 21:17 diff hist +81‎ Mizar (système) ‎ →‎Liens externes : catégories
• 21:1630 janvier 2013 à 21:16 diff hist +11‎ Mizar (système) ‎ →‎Liens externes : site officiel
• 21:1330 janvier 2013 à 21:13 diff hist +372‎ N Mizar (système) ‎ création
• 21:0830 janvier 2013 à 21:08 diff hist +78‎ Mizar ‎ Mizar (système)

18 octobre 2012

• 07:5518 octobre 2012 à 07:55 diff hist −3‎ m Mémoïsation ‎ cohérence

28 août 2012

• 22:4228 août 2012 à 22:42 diff hist +1‎ Nombre premier ‎ →‎Nombres premiers de Mersenne : typo
• 13:1828 août 2012 à 13:18 diff hist −4‎ Théorème de Lucas ‎ le théorème est vrai également pour m ou n égal à 0
• 10:1528 août 2012 à 10:15 diff hist +27‎ Théorème de Lucas ‎ portail arithmétique
• 10:1328 août 2012 à 10:13 diff hist +89‎ Discussion:Théorème de Lucas ‎ suppression de la redirection
• 10:0628 août 2012 à 10:06 diff hist +229‎ Théorème de Lucas ‎ corollaire
• 10:0428 août 2012 à 10:04 diff hist +26‎ Coefficient binomial ‎ →‎Articles connexes : lien vers thm de Lucas
• 10:0228 août 2012 à 10:02 diff hist +18‎ Théorème de Lucas ‎ décomposition -> développement / lien vers base
• 09:5628 août 2012 à 09:56 diff hist +439‎ Théorème de Lucas ‎ énoncé
• 09:4928 août 2012 à 09:49 diff hist +1 216‎ Théorème de Lucas ‎ création
• 09:2028 août 2012 à 09:20 diff hist +26‎ Édouard Lucas ‎ →‎Articles connexes : lien vers thm de Lucas