« Logique d'ordre supérieur » : historique des versions

13 février 2023

• actudiff 19:0213 février 2023 à 19:02‎ AxiomeDuChoix discuter contributions‎ 3 466 octets +70‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

29 mars 2020

• actudiff 22:4029 mars 2020 à 22:40‎ Mi Ga discuter contributions‎ 3 396 octets +71‎ Ajout annuler

10 janvier 2020

• actudiff 01:1310 janvier 2020 à 01:13‎ Proz discuter contributions‎ 3 325 octets −30‎ →‎Voir aussi : plus direct annuler

14 septembre 2018

• actudiff 21:3114 septembre 2018 à 21:31‎ 109.190.172.111 discuter‎ 3 355 octets +4‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

5 décembre 2017

• actudiff 17:405 décembre 2017 à 17:40‎ Roll-Morton discuter contributions‎ 3 351 octets +87‎ →‎Logique du second ordre : +mention de courcelle annuler

1 décembre 2017

• actudiff 00:221 décembre 2017 à 00:22‎ 77.151.57.251 discuter‎ 3 264 octets 0‎ →‎Logique du second ordre annuler Balises : Modification par mobile Modification par application mobile
• actudiff 00:221 décembre 2017 à 00:22‎ 77.151.57.251 discuter‎ 3 264 octets −1‎ →‎Logique du second ordre annuler Balises : Modification par mobile Modification par application mobile
• actudiff 00:181 décembre 2017 à 00:18‎ 77.151.57.251 discuter‎ 3 265 octets +1‎ →‎Logique du second ordre annuler Balises : Modification par mobile Modification par application mobile
• actudiff 00:151 décembre 2017 à 00:15‎ 77.151.57.251 discuter‎ 3 264 octets −2‎ →‎Logique du second ordre annuler Balises : Modification par mobile Modification par application mobile
• actudiff 00:091 décembre 2017 à 00:09‎ 77.151.57.251 discuter‎ 3 266 octets +1‎ →‎Logique du second ordre annuler Balises : Modification par mobile Modification par application mobile

3 juin 2017

• actudiff 18:553 juin 2017 à 18:55‎ Theon discuter contributions‎ 3 265 octets −17‎ lien direct annuler
• actudiff 18:543 juin 2017 à 18:54‎ Theon discuter contributions‎ 3 282 octets +28‎ →‎Logique du second ordre : lien + typo annuler

12 novembre 2016

• actudiff 14:0212 novembre 2016 à 14:02‎ Else If Then discuter contributions‎ 3 254 octets −4‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

25 septembre 2016

• actudiff 12:5625 septembre 2016 à 12:56‎ Fschwarzentruber discuter contributions‎ m 3 258 octets +38‎ →‎Logique du second ordre annuler Balise : Éditeur visuel

11 août 2016

• actudiff 16:1011 août 2016 à 16:10‎ SniperMaské discuter contributions‎ m 3 220 octets 0‎ →‎Introduction : typographie annuler
• actudiff 16:0911 août 2016 à 16:09‎ SniperMaské discuter contributions‎ m 3 220 octets +98‎ wikif. annuler

27 juillet 2016

• actudiff 18:3627 juillet 2016 à 18:36‎ WikiCleanerBot discuter contributions‎ m 3 122 octets +3‎ v1.39 - Correction syntaxique (Catégorie sans majuscule - Orthographe et typographie) annuler Balise : WPCleaner

24 juin 2016

• actudiff 13:3324 juin 2016 à 13:33‎ PIerre.Lescanne discuter contributions‎ 3 119 octets +36‎ →‎Logique du troisième ordre annuler

21 juin 2016

• actudiff 20:0521 juin 2016 à 20:05‎ 86.209.232.25 discuter‎ 3 083 octets +33‎ →‎Logique du troisième ordre : référence souhaitée. Que sont les objets du troisième ordre ? annuler Balise : Éditeur visuel

13 avril 2015

• actudiff 08:1513 avril 2015 à 08:15‎ 197.1.84.219 discuter‎ 3 050 octets +3‎ →‎Logique du second ordre : Faute des parenthèses de l'axiome d'induction corrigée annuler Balise : Éditeur visuel

10 avril 2014

• actudiff 00:1410 avril 2014 à 00:14‎ SniperMaské discuter contributions‎ m 3 047 octets 0‎ →‎Logique du second ordre : syntaxe annuler

9 avril 2014

• actudiff 23:039 avril 2014 à 23:03‎ SniperMaské discuter contributions‎ m 3 047 octets +25‎ wikif. annuler

19 février 2014

• actudiff 04:5619 février 2014 à 04:56‎ SniperMaské discuter contributions‎ m 3 022 octets +3‎ →‎Logique du second ordre : typographie (REM. : d. c. ??) annuler

19 juin 2013

• actudiff 00:2119 juin 2013 à 00:21‎ Epsilon0 discuter contributions‎ 3 019 octets +37‎ →‎Voir aussi : + Catégorie:Logique non classique (mais ça peut se discuter) annuler

9 avril 2013

• actudiff 11:189 avril 2013 à 11:18‎ LambdArmael discuter contributions‎ m 2 982 octets −4‎ Suppression d'un mot (coquille) annuler

12 mars 2013

• actudiff 18:5312 mars 2013 à 18:53‎ Addbot discuter contributions‎ m 2 986 octets −183‎ Retrait de 6 liens interlangues, désormais fournis par Wikidata sur la page d:q1644136 annuler

6 novembre 2012

• actudiff 11:176 novembre 2012 à 11:17‎ PIerre.Lescanne discuter contributions‎ 3 169 octets −78‎ Aucun résumé des modifications annuler
• actudiff 11:046 novembre 2012 à 11:04‎ PIerre.Lescanne discuter contributions‎ 3 247 octets −8‎ Annulation des modifications 84992332 de 70.29.174.217 (d) ajouter un lien rouge et un lien vers des homonyme n'apporte rien annuler
• actudiff 05:476 novembre 2012 à 05:47‎ 70.29.174.217 discuter‎ 3 255 octets +8‎ →‎Logique du second ordre annuler

19 octobre 2012

• actudiff 08:5619 octobre 2012 à 08:56‎ Sff9 discuter contributions‎ m 3 247 octets −103‎ En fait je n'ai même jamais entendu « logique du deuxième ordre ». Pas la peine de modifier l'usage pour coller à une règle non-existante ! annuler
• actudiff 08:5119 octobre 2012 à 08:51‎ Sff9 discuter contributions‎ m 3 350 octets −66‎ second et deuxième sont synonymes… http://www.academie-francaise.fr/la-langue-francaise/questions-de-langue#29_strong-em-deuxime-second-em-strong annuler

30 novembre 2011

• actudiff 14:3130 novembre 2011 à 14:31‎ Anne Bauval discuter contributions‎ m 3 416 octets +70‎ →‎Voir aussi : lien annuler

18 septembre 2011

• actudiff 00:2318 septembre 2011 à 00:23‎ Epsilon0 discuter contributions‎ 3 346 octets +61‎ →‎Voir aussi : calc prop comme log d'ordre zéro annuler

15 octobre 2010

• actudiff 18:5815 octobre 2010 à 18:58‎ Luckas-bot discuter contributions‎ m 3 285 octets +50‎ robot Ajoute: el:Λογική ανώτερου βαθμού annuler

6 octobre 2010

• actudiff 15:196 octobre 2010 à 15:19‎ PIerre.Lescanne discuter contributions‎ 3 235 octets +12‎ →‎Logique du deuxième ordre : second -> deuxième annuler
• actudiff 15:186 octobre 2010 à 15:18‎ PIerre.Lescanne discuter contributions‎ 3 223 octets +55‎ →‎Logique du deuxième ordre annuler

4 octobre 2010

• actudiff 15:414 octobre 2010 à 15:41‎ Epsilon0 discuter contributions‎ 3 168 octets +102‎ →‎Logique du second ordre : précision, en soit une fction unaire est une relation binaire fctionnelle via on n'est plus dans la logique monadique annuler

27 août 2010

• actudiff 12:4027 août 2010 à 12:40‎ Léna discuter contributions‎ m 3 066 octets +11‎ Changement rapide de {{portail}} : - informatique , + Informatique théorique ; avec BandeauxPortails annuler
• actudiff 12:4027 août 2010 à 12:40‎ Léna discuter contributions‎ m 3 055 octets −15‎ Retrait rapide de {{portail}} : - mathématiques ; avec BandeauxPortails annuler

23 mars 2010

• actudiff 22:4523 mars 2010 à 22:45‎ Anne Bauval discuter contributions‎ m 3 070 octets +22‎ dénombrable->Ensemble dénombrable annuler

8 juin 2008

• actudiff 00:088 juin 2008 à 00:08‎ Thijs!bot discuter contributions‎ m 3 048 octets +32‎ robot Ajoute: cs:Logika vyššího řádu annuler

12 avril 2008

• actudiff 23:3212 avril 2008 à 23:32‎ VolkovBot discuter contributions‎ m 3 016 octets +26‎ robot Ajoute: ja:高階述語論理 annuler

31 mars 2008

• actudiff 15:1731 mars 2008 à 15:17‎ Phe-bot discuter contributions‎ 2 990 octets −36‎ nouveau style de bandeau de portail, voir Wikipédia:Prise de décision/Bandeaux de portail annuler

10 mars 2008

• actudiff 12:2610 mars 2008 à 12:26‎ PIerre.Lescanne discuter contributions‎ 3 026 octets +85‎ Aucun résumé des modifications annuler
• actudiff 12:2210 mars 2008 à 12:22‎ PIerre.Lescanne discuter contributions‎ 2 941 octets +199‎ →‎Logique du second ordre annuler
• actudiff 12:1510 mars 2008 à 12:15‎ PIerre.Lescanne discuter contributions‎ 2 742 octets +17‎ Aucun résumé des modifications annuler

8 février 2008

• actudiff 16:488 février 2008 à 16:48‎ DumZiBoT discuter contributions‎ m 2 725 octets 0‎ Robot : Passage au modèle {{ébauche}} : {{ébauche|logique}} annuler

21 janvier 2008

• actudiff 16:2721 janvier 2008 à 16:27‎ 129.199.134.132 discuter‎ 2 725 octets +194‎ →‎Logique du second ordre annuler

5 octobre 2007

• actudiff 04:365 octobre 2007 à 04:36‎ MMBot discuter contributions‎ m 2 531 octets −7‎ Bot : Remplacement de texte automatisé (-\[\[([^]]+)\|\1\]\] +\1) annuler

10 août 2007

• actudiff 16:4610 août 2007 à 16:46‎ Eusebius discuter contributions‎ m 2 538 octets −7‎ +bandeau ébauche logique annuler