Suivi des pages liées
Apparence
Entrer un nom de page pour voir les modifications faites récemment sur des pages liées vers ou depuis cette page (pour voir les membres d’une catégorie, entrez Catégorie:Nom de catégorie). Les modifications des pages de votre liste de suivi sont en gras.
Liste des abréviations :
- D
- Modification de Wikidata.
- r
- Cette modification peut présenter des problèmes et doit être relue (informations supplémentaires)
- N
- Cette modification a créé une nouvelle page (voir aussi la liste des nouvelles pages)
- m
- Cette modification est mineure.
- b
- Cette modification a été effectuée par un robot.
- (±123)
- La taille de la page a changé de ce nombre d’octets.
- Page suivie temporairement
23 juin 2024
- diffhist m Logique linéaire 18:43 0 JeanCASPAR discuter contributions Balise : Éditeur de source 2017
- diffhist m Alan Turing 18:09 +35 JeanCASPAR discuter contributions (Lien) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 18:07 0 JeanCASPAR discuter contributions (→Types sommes) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 16:37 −1 JeanCASPAR discuter contributions (→Types sommes) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 16:34 +37 JeanCASPAR discuter contributions (→Types sommes : Reformulation) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 16:14 0 JeanCASPAR discuter contributions (Correction de l'année d'une référence.) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 16:13 +109 JeanCASPAR discuter contributions (Reformulation de →Forte normalisation : . Correction des numéro de pages.) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 16:04 +19 JeanCASPAR discuter contributions (→Normalisation forte) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 16:04 +35 JeanCASPAR discuter contributions (→Normalisation forte : Reformulation.) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 15:59 +5 708 JeanCASPAR discuter contributions (Types sommes) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 14:06 +332 JeanCASPAR discuter contributions (Mise en page références.) Balise : Éditeur visuel
- diffhist Logique mathématique 01:21 +187 Zyrle discuter contributions (Ajout de liens vers les participants montrant l'aspect totalement exceptionnel, par la qualité des participants, de cette rencontre de 1955 et du compte rendu qu'est ce texte.)
- diffhist Logique mathématique 01:04 +378 Zyrle discuter contributions (→Recueils de textes classiques ayant fondé la discipline : Ajout d'un recueil de textes issu d'un colloque de 1955 que je viens de découvrir, qui vaut largement les recueils ci-dessus (que j'avais mis dans une autre vie). Pour tous les ouvrages de cette section il serait bien de mentionner les textes et les auteurs. Je peux le faire ayant tous ces livres, mais pas sûr qu'il faut le faire ici. Sinon pour du théorique, le texte de Skolem résout ici son paradoxe ! si !)
22 juin 2024
- diffhist m Lambda-calcul simplement typé 13:06 +23 JeanCASPAR discuter contributions Balise : Éditeur visuel
21 juin 2024
- diffhist Alan Turing 18:52 +120 Billy Néaire discuter contributions (Addition d'une référence BD) Balise : Éditeur visuel
- diffhist m Digital Object Identifier 18:27 −46 CaféBuzz discuter contributions (Révocation des modifications de 129.45.111.171 (retour à la dernière version de CaféBuzz)) Balise : Révocation
- diffhist Digital Object Identifier 18:20 +46 129.45.111.171 discuter (Wsj) Balise : Révoqué
- diffhist m Digital Object Identifier 18:14 −35 CaféBuzz discuter contributions (Révocation des modifications de 129.45.111.171 (retour à la dernière version de Od1n)) Balise : Révocation
- diffhist Digital Object Identifier 18:14 +9 129.45.111.171 discuter (LEGAD) Balise : Révoqué
- diffhist Digital Object Identifier 18:10 +26 129.45.111.171 discuter (Hayla bzzf) Balises : Révoqué Éditeur visuel : basculé
- diffhist Propagande 17:59 +11 2001:7e8:c23a:ee00:d4c4:bd15:89:3dae discuter (→Propagande élisabéthaine puis victorienne) Balises : Éditeur visuel Liens d’homonymie
- diffhist m Lambda-calcul simplement typé 12:34 +50 JeanCASPAR discuter contributions (→Forte normalisation : anglicisme) Balise : Éditeur visuel
20 juin 2024
- diffhist Aristote 15:14 +454 Marie Gillet discuter contributions (→Études : Ajout chapitre d'ouvrage) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 11:40 +42 PIerre.Lescanne discuter contributions (→Bibliographie : articles connexes)
- diffhist Lambda-calcul simplement typé 11:37 +19 PIerre.Lescanne discuter contributions (→Forte normalisation : mise en forme)
- diffhist Lambda-calcul simplement typé 11:35 +106 PIerre.Lescanne discuter contributions (→Confluence : réparation d'un oubli)
- diffhist m Lambda-calcul simplement typé 11:29 +3 PIerre.Lescanne discuter contributions (→Confluence)
19 juin 2024
- diffhist m Lambda-calcul simplement typé 22:25 0 JeanCASPAR discuter contributions (→Introduction : typo) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 22:18 +5 823 JeanCASPAR discuter contributions (→Réduction : Nouvelle section) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 20:13 +210 JeanCASPAR discuter contributions (Variante : présence ou non des produits) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 19:29 0 JeanCASPAR discuter contributions (→Introduction : type) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 19:29 +1 617 JeanCASPAR discuter contributions (Ajout d'une introduction) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 19:09 +13 JeanCASPAR discuter contributions (→Termes) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 19:09 +76 JeanCASPAR discuter contributions Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 19:03 +151 JeanCASPAR discuter contributions (→Règles de typage : Mise en forme) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 18:53 0 JeanCASPAR discuter contributions (→Règles de typage : Correction référence) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 18:50 +2 138 JeanCASPAR discuter contributions (Règles de typage) Balise : Éditeur visuel
- diffhist Module:Wikidata 18:29 +12 Escargot bleu discuter contributions (Inversion des couleurs en mode sombre pour le petit crayon.)
- diffhist m Algèbre de Boole (logique) 08:14 +1 Créateur 8 discuter contributions (Correction de "Table de loi ET" en "Table de loi OU" | Remplacement de "Décrocher2" par "Décrocher 2") Balise : Éditeur visuel
- diffhist Algèbre de Boole (logique) 07:45 +27 HB discuter contributions (→Algèbre de Boole des valeurs de vérité : plus clair?)
- diffhist Algèbre de Boole (logique) 07:11 +6 HB discuter contributions (→Disjonction : idem)
- diffhist Algèbre de Boole (logique) 07:10 +6 HB discuter contributions (→Conjonction : p.e. plus clair (voir page de discussion))
- diffhist Kurt Gödel 01:51 +59 Mi Ga discuter contributions (→Articles connexes : Ajout)
- diffhist Lambda-calcul simplement typé 01:31 +138 JeanCASPAR discuter contributions (Associativité) Balise : Éditeur visuel
- diffhist m Lambda-calcul simplement typé 00:40 +53 JeanCASPAR discuter contributions (→Références) Balise : Éditeur visuel
- diffhist Lambda-calcul simplement typé 00:07 +2 693 JeanCASPAR discuter contributions (Syntaxe) Balises : Éditeur visuel Liens d’homonymie
18 juin 2024
- diffhist Lambda-calcul simplement typé 23:18 +2 344 JeanCASPAR discuter contributions (Création de la page.) Balises : Redirection supprimée Éditeur visuel
- diffhist Logique mathématique 13:00 −1 Vincemaths discuter contributions (→Les quantificateurs)
17 juin 2024
- diffhist Willard Van Orman Quine 21:19 +18 MDCCCC discuter contributions Balises : Éditeur visuel Liens d’homonymie
- diffhist m Logique mathématique 17:44 +67 Aristo28 discuter contributions (Ajout LaTex)