« Structure (logique mathématique) » : historique des versions

8 décembre 2021

• actudiff 10:338 décembre 2021 à 10:33‎ Bécassin discuter contributions‎ 7 148 octets +20‎ →‎Définition annuler

5 décembre 2021

• actudiff 17:325 décembre 2021 à 17:32‎ Bécassin discuter contributions‎ 7 128 octets +7‎ →‎Note sur l'utilisation du mot modèle annuler

18 février 2020

• actudiff 23:3018 février 2020 à 23:30‎ Anareth discuter contributions‎ 7 121 octets +44‎ →‎La signature : +lien vers exemple qui explicite annuler Balise : Éditeur visuel
• actudiff 23:1818 février 2020 à 23:18‎ Anareth discuter contributions‎ 7 077 octets +22‎ →‎L'interprétation : léger abus non commis par la version anglophone annuler Balise : Éditeur visuel

8 juillet 2019

• actudiff 14:318 juillet 2019 à 14:31‎ Septhime discuter contributions‎ 7 055 octets −33‎ Annulation de modification de 37.168.154.79 (Ma gros bite) annuler
• actudiff 14:298 juillet 2019 à 14:29‎ 37.168.154.79 discuter‎ 7 088 octets +1‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile
• actudiff 14:278 juillet 2019 à 14:27‎ 37.168.154.79 discuter‎ 7 087 octets +3‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

7 avril 2018

• actudiff 15:217 avril 2018 à 15:21‎ 81.220.27.6 discuter‎ 7 084 octets +29‎ Notaion inexistante. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

16 janvier 2017

• actudiff 01:5416 janvier 2017 à 01:54‎ SniperMaské discuter contributions‎ m 7 055 octets +1‎ →‎Domaine : syntaxe annuler

6 août 2016

• actudiff 14:596 août 2016 à 14:59‎ SniperMaské discuter contributions‎ m 7 054 octets +1‎ →‎Exemples : syntaxe annuler

7 juin 2015

• actudiff 00:097 juin 2015 à 00:09‎ Anne Bauval discuter contributions‎ m 7 053 octets +1‎ →‎Exemples : lien direct annuler

7 mars 2015

• actudiff 18:167 mars 2015 à 18:16‎ ZetudBot discuter contributions‎ m 7 052 octets −1‎ →‎Définition : Typo. (- espace avant virgule), remplacement: ''A'' , une → ''A'', une annuler

28 septembre 2014

• actudiff 23:3428 septembre 2014 à 23:34‎ WhiteMoll discuter contributions‎ m 7 053 octets 0‎ Faute d'orthographe annuler Balise : Éditeur visuel
• actudiff 23:3228 septembre 2014 à 23:32‎ WhiteMoll discuter contributions‎ m 7 053 octets +1‎ Faute d'orthographe annuler Balise : Éditeur visuel

30 août 2014

• actudiff 14:4730 août 2014 à 14:47‎ Gzen92 discuter contributions‎ m 7 052 octets 0‎ typo annuler

30 septembre 2013

• actudiff 09:5130 septembre 2013 à 09:51‎ SenseiAC discuter contributions‎ 7 052 octets 0‎ →‎Domaine : mef annuler

1 mai 2013

• actudiff 21:481 mai 2013 à 21:48‎ Epsilon0 discuter contributions‎ m 7 052 octets +42‎ →‎Note sur l'utilisation du mot modèle : + <references/> annuler
• actudiff 21:461 mai 2013 à 21:46‎ Epsilon0 discuter contributions‎ 7 010 octets +127‎ →‎Domaine : Exemple paradigmal sur ce qu'implique que le domaine ne soit pas vide : ∀x Px ⇒ ∃x Px est une formule valide annuler

6 avril 2013

• actudiff 16:306 avril 2013 à 16:30‎ Bécassin discuter contributions‎ m 6 883 octets +20‎ →‎Exemples : précision sur la nature du nombre donné en exemple annuler
• actudiff 16:276 avril 2013 à 16:27‎ Bécassin discuter contributions‎ m 6 863 octets +7‎ →‎Exemples : mot oublié annuler

14 mars 2013

• actudiff 19:3114 mars 2013 à 19:31‎ Addbot discuter contributions‎ m 6 856 octets −306‎ Retrait de 9 liens interlangues, désormais fournis par Wikidata sur la page d:q1851710 annuler

13 janvier 2013

• actudiff 23:4213 janvier 2013 à 23:42‎ Skygge discuter contributions‎ m 7 162 octets +1‎ Aucun résumé des modifications annuler

23 décembre 2012

• actudiff 04:3023 décembre 2012 à 04:30‎ EmausBot discuter contributions‎ m 7 161 octets +22‎ r2.7.3) (robot Ajoute : cs:Model (logika) annuler

13 septembre 2012

• actudiff 14:3513 septembre 2012 à 14:35‎ Anne Bauval discuter contributions‎ m 7 139 octets −26‎ résol homo, –voir aussi déjà en bandeau confusion annuler

1 septembre 2012

• actudiff 19:111 septembre 2012 à 19:11‎ EmausBot discuter contributions‎ m 7 165 octets −2‎ r2.7.2+) (robot Modifie : de:Struktur (erste Stufe) annuler

13 juillet 2012

• actudiff 10:1213 juillet 2012 à 10:12‎ RedBot discuter contributions‎ m 7 167 octets +14‎ r2.7.3) (robot Modifie : de:Struktur (Modelltheorie) annuler

8 mars 2012

• actudiff 00:238 mars 2012 à 00:23‎ Ptbotgourou discuter contributions‎ m 7 153 octets +44‎ r2.6.5) (robot Ajoute : he:מבנה (לוגיקה מתמטית) annuler

17 décembre 2011

• actudiff 14:0617 décembre 2011 à 14:06‎ Romanc19s discuter contributions‎ m 7 109 octets +1‎ orthographe "peuvent être vuS" annuler

4 août 2011

• actudiff 18:084 août 2011 à 18:08‎ STyx discuter contributions‎ m 7 108 octets +1‎ oups! annuler
• actudiff 18:084 août 2011 à 18:08‎ STyx discuter contributions‎ 7 107 octets +69‎ +confusion annuler

1 mai 2011

• actudiff 01:311 mai 2011 à 01:31‎ Redpist discuter contributions‎ m 7 038 octets 0‎ faute de frappe annuler

22 février 2011

• actudiff 12:2122 février 2011 à 12:21‎ Nicobzz discuter contributions‎ 7 038 octets +1‎ →‎Voir aussi annuler
• actudiff 12:1922 février 2011 à 12:19‎ Nicobzz discuter contributions‎ 7 037 octets +10‎ Aucun résumé des modifications annuler
• actudiff 12:1922 février 2011 à 12:19‎ Nicobzz discuter contributions‎ 7 027 octets −10‎ →‎Voir aussi annuler

15 février 2011

• actudiff 13:2115 février 2011 à 13:21‎ Nicobzz discuter contributions‎ 7 037 octets +18‎ →‎Exemples : petit erreur de français, je complète à partir de l'article anglais,d'ailleurs je ne comprend pas très bien ce point, j'espère ne pas faire d'erreur annuler
• actudiff 13:0715 février 2011 à 13:07‎ Nicobzz discuter contributions‎ 7 019 octets +6‎ Aucun résumé des modifications annuler
• actudiff 12:4615 février 2011 à 12:46‎ Nicobzz discuter contributions‎ 7 013 octets +154‎ Aucun résumé des modifications annuler

30 janvier 2011

• actudiff 12:4030 janvier 2011 à 12:40‎ Nicobzz discuter contributions‎ 6 859 octets +1‎ →‎Exemples annuler

24 janvier 2011

• actudiff 12:5824 janvier 2011 à 12:58‎ Epsilon0 discuter contributions‎ 6 858 octets +21‎ →‎Exemples : toujours bon de le repréciser annuler
• actudiff 12:5024 janvier 2011 à 12:50‎ Epsilon0 discuter contributions‎ m 6 837 octets +69‎ on a un article Signature (algèbre) annuler
• actudiff 10:0924 janvier 2011 à 10:09‎ Nicobzz discuter contributions‎ 6 768 octets +3‎ Aucun résumé des modifications annuler
• actudiff 10:0424 janvier 2011 à 10:04‎ Nicobzz discuter contributions‎ 6 765 octets +2‎ →‎L'interprétation annuler
• actudiff 03:2224 janvier 2011 à 03:22‎ Proz discuter contributions‎ 6 763 octets −39‎ →‎Definition : divers (pas de fonction partielle par exemple) annuler
• actudiff 02:4024 janvier 2011 à 02:40‎ Proz discuter contributions‎ 6 802 octets +44‎ →‎Exemples : pas si nécessaire que ça + chose à vérifier annuler
• actudiff 02:3524 janvier 2011 à 02:35‎ Proz discuter contributions‎ 6 758 octets +189‎ →‎Examples : quelques reformulations annuler
• actudiff 02:2024 janvier 2011 à 02:20‎ Proz discuter contributions‎ 6 569 octets −614‎ intro minimale annuler

23 janvier 2011

• actudiff 23:0123 janvier 2011 à 23:01‎ Nicobzz discuter contributions‎ 7 183 octets +17‎ →‎Examples annuler
• actudiff 22:5623 janvier 2011 à 22:56‎ Nicobzz discuter contributions‎ 7 166 octets +27‎ →‎Examples annuler
• actudiff 22:4723 janvier 2011 à 22:47‎ Nicobzz discuter contributions‎ 7 139 octets +8‎ →‎Note sur l'utilisation du mot annuler
• actudiff 22:4623 janvier 2011 à 22:46‎ Nicobzz discuter contributions‎ 7 131 octets +125‎ →‎Examples annuler