« Logique (mathématiques)/Grammaire des prédicats » : historique des versions

21 mars 2021

• actudiff 11:5021 mars 2021 à 11:50‎ 82.249.53.237 discussion‎ 18 969 octets +1‎ →‎Les prédicats fondamentaux, ou notions premières annuler Balise : Éditeur visuel
• actudiff 11:4121 mars 2021 à 11:41‎ 82.249.53.237 discussion‎ 18 968 octets +2‎ →‎Les mots annuler Balise : Éditeur visuel

2 février 2019

• actudiff 14:522 février 2019 à 14:52‎ Texvc2LaTeXBot discussion contributions‎ m 18 966 octets +2‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

1 août 2017

• actudiff 15:031 août 2017 à 15:03‎ Crochet.david.bot discussion contributions‎ m 18 964 octets +6‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

16 mai 2016

• actudiff 16:3216 mai 2016 à 16:32‎ Crochet.david.bot discussion contributions‎ m 18 958 octets +4‎ 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

6 mai 2016

• actudiff 11:416 mai 2016 à 11:41‎ 79.84.139.50 discussion‎ 18 954 octets +2‎ correction de fond annuler Balise : Éditeur visuel : basculé

27 avril 2016

• actudiff 21:0827 avril 2016 à 21:08‎ Crochet.david.bot discussion contributions‎ m 18 952 octets +4‎ Robot : Remplacement de texte automatisé (- d'un + d’un ) annuler

19 avril 2016

• actudiff 05:4019 avril 2016 à 05:40‎ Crochet.david.bot discussion contributions‎ m 18 948 octets +2‎ Robot : Remplacement de texte automatisé (- d'objet + d’objet ) annuler

27 octobre 2014

• actudiff 08:2327 octobre 2014 à 08:23‎ Crochet.david.bot discussion contributions‎ m 18 946 octets −4‎ Robot : Remplacement de texte automatisé (-\,</math> +</math>) annuler

19 septembre 2014

• actudiff 22:4419 septembre 2014 à 22:44‎ JackBot discussion contributions‎ m 18 950 octets −65‎ Autoformatage, retrait de la clé de tri annuler

31 juillet 2013

• actudiff 08:2931 juillet 2013 à 08:29‎ 86.208.96.238 discussion‎ 19 015 octets +1‎ →‎Les affirmations d’existence et les lois générales : Petite faute d'accord annuler

22 février 2013

• actudiff 09:0322 février 2013 à 09:03‎ Lydie Noria discussion contributions‎ 19 014 octets +25‎ maintenance annuler

23 décembre 2012

• actudiff 17:3723 décembre 2012 à 17:37‎ Crochet.david.bot discussion contributions‎ m 18 989 octets 0‎ Robot : Remplacement de texte automatisé (-\{\{[cC]hapitre(.*)\{\{[Cc]lé de tri\s*\|([^\}]*)\}\}(.*) +{{Chapitre\n | clé = \2\1\3) annuler

15 novembre 2012

• actudiff 11:3515 novembre 2012 à 11:35‎ Psychoslave discussion contributions‎ 18 989 octets +110‎ →‎Une présentation plus formelle du calcul des prédicats : mise en forme annuler
• actudiff 10:5915 novembre 2012 à 10:59‎ Psychoslave discussion contributions‎ 18 879 octets +21‎ →‎Les concepts sont des prédicats : interwiki nombre premier annuler
• actudiff 10:4315 novembre 2012 à 10:43‎ Psychoslave discussion contributions‎ 18 858 octets +2‎ →‎Les affirmations d’existence et les lois générales : w: manquant, la précédente modification était principalement de la mise en forme, plus quelques précisions remplaçant le concept vague de puissance par celui d’expression annuler
• actudiff 10:4215 novembre 2012 à 10:42‎ Psychoslave discussion contributions‎ 18 856 octets +494‎ →‎Les affirmations d’existence et les lois générales annuler

14 novembre 2012

• actudiff 12:4014 novembre 2012 à 12:40‎ Psychoslave discussion contributions‎ 18 362 octets +349‎ →‎Les prédicats fondamentaux, ou notions premières : quelques ajouts, mise en forme et liens interwiki annuler
• actudiff 12:2014 novembre 2012 à 12:20‎ Psychoslave discussion contributions‎ 18 013 octets +357‎ →‎Les mots : quelques précisisons annuler

15 octobre 2012

• actudiff 09:4715 octobre 2012 à 09:47‎ 193.50.159.14 discussion‎ 17 656 octets −18‎ →‎Une présentation plus formelle du calcul des prédicats annuler
• actudiff 09:4215 octobre 2012 à 09:42‎ 193.50.159.14 discussion‎ 17 674 octets +8‎ →‎Les mots annuler

7 août 2012

• actudiff 17:507 août 2012 à 17:50‎ Crochet.david.bot discussion contributions‎ m 17 666 octets −34‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

4 mars 2012

• actudiff 17:304 mars 2012 à 17:30‎ JackBot discussion contributions‎ m 17 700 octets +62‎ Autoformatage annuler

17 septembre 2011

• actudiff 13:0417 septembre 2011 à 13:04‎ JackBot discussion contributions‎ m 17 638 octets −41‎ Retrait des catégories en double annuler

12 août 2011

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

26 avril 2011

• actudiff 18:3926 avril 2011 à 18:39‎ Crochet.david.bot discussion contributions‎ m 17 678 octets −42‎ Utilisation du paramètre par défaut du modèle annuler

5 février 2011

• actudiff 17:405 février 2011 à 17:40‎ Cynddl discussion contributions‎ m 17 720 octets +39‎ →‎Les concepts sont des prédicats annuler
• actudiff 17:405 février 2011 à 17:40‎ Cynddl discussion contributions‎ m 17 681 octets +35‎ →‎Une présentation plus formelle du calcul des prédicats annuler

9 juin 2010

• actudiff 15:279 juin 2010 à 15:27‎ Crochet.david.bot discussion contributions‎ m 17 646 octets 0‎ Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 ») annuler

14 avril 2010

• actudiff 10:2314 avril 2010 à 10:23‎ Crochet.david.bot discussion contributions‎ m 17 646 octets +2‎ Robot : Remplacement de texte automatisé (-(\n)A +\1À ) annuler

12 avril 2010

• actudiff 15:0512 avril 2010 à 15:05‎ Crochet.david.bot discussion contributions‎ m 17 644 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *numero *= *(..?) + | numero = \1) annuler

23 mars 2010

• actudiff 21:0623 mars 2010 à 21:06‎ Crochet.david.bot discussion contributions‎ m 17 636 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) annuler

10 mars 2010

• actudiff 21:5910 mars 2010 à 21:59‎ Crochet.david.bot discussion contributions‎ m 17 628 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *suivant *= *\[\[([^\/]*)\/([^\/]*)\/\]\]\}\} + | suivant = ../\2/\n}}) annuler

6 mars 2010

• actudiff 11:256 mars 2010 à 11:25‎ Crochet.david.bot discussion contributions‎ m 17 620 octets −22‎ Robot : Remplacement de texte automatisé (- *\|\s?titre_leçon\s?=\s?(.*)\n +) annuler
• actudiff 08:426 mars 2010 à 08:42‎ Crochet.david.bot discussion contributions‎ m 17 642 octets +10‎ Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) annuler

25 février 2010

• actudiff 18:1225 février 2010 à 18:12‎ Crochet.david.bot discussion contributions‎ m 17 632 octets −6‎ Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../) annuler

4 août 2009

• actudiff 17:594 août 2009 à 17:59‎ Xzapro4 discussion contributions‎ m 17 638 octets −313‎ Update navchap, recat annuler
• actudiff 17:444 août 2009 à 17:44‎ Xzapro4 discussion contributions‎ m 17 951 octets 0‎ a renommé Fondements des mathématiques/La logique/Grammaire des prédicats en Logique (mathématiques)/Grammaire des prédicats : Cours à part entier annuler

28 janvier 2009

• actudiff 15:2028 janvier 2009 à 15:20‎ 81.192.94.205 discussion‎ 17 951 octets −5‎ →‎Les concepts sont des prédicats annuler

27 décembre 2008

• actudiff 11:0327 décembre 2008 à 11:03‎ Crochet.david.bot discussion contributions‎ m 17 956 octets −17‎ Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) annuler

7 mars 2008

• actudiff 20:147 mars 2008 à 20:14‎ Crochet.david.bot discussion contributions‎ m 17 973 octets +1‎ Bot : Remplacement de texte automatisé (-... +…); changement de type cosmétique annuler

4 octobre 2007

• actudiff 19:234 octobre 2007 à 19:23‎ Sharayanan discussion contributions‎ m 17 972 octets +25‎ titre_leçon annuler
• actudiff 17:014 octobre 2007 à 17:01‎ Crochet.david discussion contributions‎ 17 947 octets +9‎ catégorisation annuler

23 août 2007

• actudiff 14:5823 août 2007 à 14:58‎ Xzapro4 discussion contributions‎ m 17 938 octets +287‎ Bas de Page annuler

17 août 2007

• actudiff 19:2917 août 2007 à 19:29‎ Crochet.david discussion contributions‎ 17 651 octets +4‎ typographie annuler

10 août 2007

• actudiff 15:2410 août 2007 à 15:24‎ Crochet.david.bot discussion contributions‎ m 17 647 octets +1‎ Bot : Remplacement de texte automatisé (-\. A +. À ) annuler
• actudiff 10:0710 août 2007 à 10:07‎ Crochet.david.bot discussion contributions‎ m 17 646 octets +4‎ Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6) annuler

9 août 2007

• actudiff 16:349 août 2007 à 16:34‎ Crochet.david.bot discussion contributions‎ m 17 642 octets 0‎ Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler

7 juillet 2007

• actudiff 16:397 juillet 2007 à 16:39‎ Crochet.david discussion contributions‎ 17 642 octets +336‎ créa annuler

14 avril 2007

• actudiff 20:1414 avril 2007 à 20:14‎ Julien1311 discussion contributions‎ m 17 306 octets −8‎ cat annuler