« Logique formelle/Calcul des prédicats » : historique des versions

29 mai 2021

• actudiff 15:5629 mai 2021 à 15:56‎ Anne Bauval discussion contributions‎ m 2 560 octets −26‎ màj annuler

31 décembre 2017

• actudiff 02:0331 décembre 2017 à 02:03‎ Anne Bauval discussion contributions‎ m 2 586 octets +44‎ lien wp annuler

16 mai 2016

• actudiff 18:1716 mai 2016 à 18:17‎ Crochet.david.bot discussion contributions‎ m 2 542 octets +2‎ Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat... annuler

23 avril 2016

• actudiff 10:2523 avril 2016 à 10:25‎ Crochet.david.bot discussion contributions‎ m 2 540 octets +2‎ Robot : Remplacement de texte automatisé (- d'être + d’être ) annuler

2 mai 2015

• actudiff 03:522 mai 2015 à 03:52‎ Infinite0694 discussion contributions‎ m 2 538 octets −4‎ Annulation des modifications 487047 de 220.142.91.86 (discussion) rvv annuler
• actudiff 03:502 mai 2015 à 03:50‎ 220.142.91.86 discussion‎ 2 542 octets +4‎ fix annuler

19 septembre 2014

• actudiff 21:5819 septembre 2014 à 21:58‎ JackBot discussion contributions‎ m 2 538 octets −54‎ Autoformatage, retrait de la clé de tri annuler

8 décembre 2012

• actudiff 18:118 décembre 2012 à 18:11‎ Lydie Noria discussion contributions‎ 2 592 octets +16‎ mise à jour annuler

17 novembre 2012

• actudiff 13:3817 novembre 2012 à 13:38‎ JackBot discussion contributions‎ m 2 576 octets +135‎ Autoformatage annuler

4 mars 2012

• actudiff 18:474 mars 2012 à 18:47‎ JackBot discussion contributions‎ m 2 441 octets +52‎ Autoformatage annuler

7 février 2012

• actudiff 12:187 février 2012 à 12:18‎ Crochet.david.bot discussion contributions‎ m 2 389 octets −1‎ Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) annuler

18 septembre 2011

• actudiff 12:0918 septembre 2011 à 12:09‎ JackBot discussion contributions‎ m 2 390 octets −33‎ Retrait des catégories en double annuler

12 août 2011

• actudiff 19:4612 août 2011 à 19:46‎ Crochet.david.bot discussion contributions‎ m 2 423 octets +1‎ Robot : Remplacement de texte automatisé (-\n\s*\|\s*numero +\n | numéro) annuler

4 mai 2011

• actudiff 13:344 mai 2011 à 13:34‎ Crochet.david discussion contributions‎ 2 422 octets +146‎ wikification - Modif. navigateur chapitre annuler

27 avril 2011

• actudiff 09:5627 avril 2011 à 09:56‎ Crochet.david.bot discussion contributions‎ m 2 276 octets 0‎ Robot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler

3 février 2011

• actudiff 18:243 février 2011 à 18:24‎ JackPotte discussion contributions‎ 2 276 octets +33‎ Aucun résumé des modifications annuler
• actudiff 12:003 février 2011 à 12:00‎ WazaPopo discussion contributions‎ 2 243 octets +2 243‎ Page créée avec « Le calcul des prédicats est aussi appelé logique d'ordre 1 et permet de faire de la logique sur des fonctions, des relations et de quantifier des relations sur les variable... »