« Calcul des prédicats » : historique des versions

23 mai 2024

• actudiff 15:2323 mai 2024 à 15:23‎ Donna Who discuter contributions‎ 31 640 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

23 avril 2024

• actudiff 11:0323 avril 2024 à 11:03‎ Stéphane Ponthus discuter contributions‎ m 31 628 octets +1‎ Correction d'une faute d'orthographe: "conditions de vérité sont définis" ➔ "conditions de vérité sont définies" annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

5 avril 2024

• actudiff 19:355 avril 2024 à 19:35‎ Ysard discuter contributions‎ m 31 627 octets +2‎ correction conjugaison annuler

3 février 2024

• actudiff 12:453 février 2024 à 12:45‎ PIerre.Lescanne discuter contributions‎ 31 625 octets −26‎ En logique mathématique, il n'y a pas de planète annuler
• actudiff 04:033 février 2024 à 04:03‎ Jean Gorbin discuter contributions‎ 31 651 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

12 décembre 2023

• actudiff 14:4312 décembre 2023 à 14:43‎ Simans9093 discuter contributions‎ m 31 639 octets +81‎ Retouches et corrections diverses selon conventions annuler Balise : Éditeur visuel
• actudiff 14:3312 décembre 2023 à 14:33‎ Simans9093 discuter contributions‎ m 31 558 octets +52‎ Wikification : usage des guillemets français « » annuler Balise : Éditeur visuel
• actudiff 14:0712 décembre 2023 à 14:07‎ Simans9093 discuter contributions‎ m 31 506 octets +266‎ Wikification, mise en forme annuler Balise : Éditeur visuel

8 décembre 2023

• actudiff 16:538 décembre 2023 à 16:53‎ Cody escouade delta discuter contributions‎ 31 240 octets +1‎ Révocation des modifications de Cody escouade delta (retour à la dernière version de 147.94.135.226) annuler Balises : LiveRC Annulation
• actudiff 16:538 décembre 2023 à 16:53‎ Cody escouade delta discuter contributions‎ 31 239 octets −1‎ Révocation des modifications de 147.94.135.226 (retour à la dernière version de Clarioio) annuler Balises : LiveRC Annulation Révoqué
• actudiff 16:528 décembre 2023 à 16:52‎ 147.94.135.226 discuter‎ 31 240 octets +1‎ →‎Exemples annuler Balise : Révoqué

2 novembre 2023

• actudiff 08:092 novembre 2023 à 08:09‎ Clarioio discuter contributions‎ 31 239 octets +34‎ →‎Bibliographie : Catégorie:Modèle conceptuel annuler Balises : Modification par mobile Modification par le web mobile Modification sur mobile avancée

29 octobre 2023

• actudiff 09:5929 octobre 2023 à 09:59‎ PIerre.Lescanne discuter contributions‎ 31 205 octets −30‎ On ne limite pas les connecteurs, pour limiterait-on les quantifications ? D'autre part, les quantifications « affectent » les propositions annuler

28 octobre 2023

• actudiff 15:3628 octobre 2023 à 15:36‎ Fschwarzentruber discuter contributions‎ 31 235 octets −97‎ un exemple suffit (surtout que avec le et on sait plus si c'est une ou deux formules) annuler Balise : Éditeur visuel
• actudiff 15:3328 octobre 2023 à 15:33‎ Fschwarzentruber discuter contributions‎ 31 332 octets −11‎ ajouter "complexe", ça rend complexe annuler Balise : Éditeur visuel
• actudiff 15:3128 octobre 2023 à 15:31‎ Fschwarzentruber discuter contributions‎ 31 343 octets +34‎ on dit aussi "logique du premier ordre" (et en anglais, partout c'est abrégé en FO) annuler Balise : Éditeur visuel
• actudiff 14:2528 octobre 2023 à 14:25‎ Escargot mécanique discuter contributions‎ m 31 309 octets −5‎ Robot : Correction modèle {{Lien web}} : retrait des http dans le paramètre site (requête) et indication des éventuels liens brisés. annuler

12 octobre 2023

• actudiff 20:0712 octobre 2023 à 20:07‎ 2a01:cb06:a02b:9012:a92d:c9b9:6786:eb27 discuter‎ 31 314 octets +1‎ Correction d’une coquille annuler Balise : Éditeur visuel

23 août 2023

• actudiff 16:0023 août 2023 à 16:00‎ Yv91 discuter contributions‎ 31 313 octets +28‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

19 août 2023

• actudiff 14:2019 août 2023 à 14:20‎ Jeanne Angerie discuter contributions‎ m 31 285 octets +1‎ ISBN corrigé annuler Balise : Éditeur visuel

17 août 2023

• actudiff 17:0117 août 2023 à 17:01‎ Leluthier discuter contributions‎ m 31 284 octets −2‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

28 juillet 2023

• actudiff 12:1728 juillet 2023 à 12:17‎ Harmonizator discuter contributions‎ 31 286 octets +16‎ →‎Introduction : De même ici, les connecteurs sont les expressions ou les symboles. A corriger si c'est plutôt "fonction logique". (ou booléenne?). annuler
• actudiff 11:5128 juillet 2023 à 11:51‎ Harmonizator discuter contributions‎ 31 270 octets +6‎ →‎Introduction : sémantique linguistique. Les quantificateurs étant les expressions ou les symboles pour les quantifications. annuler

24 juillet 2023

• actudiff 11:2824 juillet 2023 à 11:28‎ Fschwarzentruber discuter contributions‎ 31 264 octets +350‎ source pour logique du premier ordre et IA annuler Balise : Éditeur visuel

23 juillet 2023

• actudiff 21:2623 juillet 2023 à 21:26‎ Fschwarzentruber discuter contributions‎ 30 914 octets +177‎ intro plus large. FO n'est pas juste une "formalisation des maths" ;) annuler Balise : Éditeur visuel
• actudiff 21:2023 juillet 2023 à 21:20‎ Fschwarzentruber discuter contributions‎ 30 737 octets +517‎ →‎Signature : + qq exemples annuler Balise : Éditeur visuel
• actudiff 21:1623 juillet 2023 à 21:16‎ Fschwarzentruber discuter contributions‎ 30 220 octets +266‎ →‎Signature : source annuler Balise : Éditeur visuel
• actudiff 21:1323 juillet 2023 à 21:13‎ Fschwarzentruber discuter contributions‎ m 29 954 octets +142‎ →‎Bibliographie : biblio (mais l'ISBN ne s'affiche pas correctement) annuler Balise : Éditeur visuel
• actudiff 21:0923 juillet 2023 à 21:09‎ Fschwarzentruber discuter contributions‎ 29 812 octets +959‎ un peu d'organisation dans la section Syntaxe annuler Balise : Éditeur visuel
• actudiff 17:0623 juillet 2023 à 17:06‎ JustAnotherRandomUser discuter contributions‎ m 28 853 octets +4‎ →‎Introduction : rajouté un lien annuler Balise : Éditeur visuel

14 septembre 2022

• actudiff 11:2614 septembre 2022 à 11:26‎ Leluthier discuter contributions‎ m 28 849 octets +72‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

28 juin 2022

• actudiff 15:3628 juin 2022 à 15:36‎ TorkMattar discuter contributions‎ m 28 777 octets +1‎ Annulation de la modification de 37.214.73.148 (d) annuler Balise : Annulation
• actudiff 14:5328 juin 2022 à 14:53‎ 37.214.73.148 discuter‎ 28 776 octets −1‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel

30 mars 2022

• actudiff 08:2430 mars 2022 à 08:24‎ WikiCleanerBot discuter contributions‎ m 28 777 octets −61‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie - Paramètre inutilisé) annuler Balise : WPCleaner

10 novembre 2021

• actudiff 13:0310 novembre 2021 à 13:03‎ Ferfalas discuter contributions‎ m 28 838 octets 0‎ →‎Sémantique : Correction Orthographe annuler Balise : Éditeur visuel

8 octobre 2021

• actudiff 18:588 octobre 2021 à 18:58‎ Eric.LEWIN discuter contributions‎ m 28 838 octets −4‎ →‎Introduction : "ou" redondants ; un premier et un dernier suffisent et sous-entendent les autres. annuler Balise : Éditeur de source 2017

30 juin 2021

• actudiff 21:5330 juin 2021 à 21:53‎ As de carreau discuter contributions‎ 28 842 octets −585‎ →‎Introduction annuler
• actudiff 21:4930 juin 2021 à 21:49‎ As de carreau discuter contributions‎ 29 427 octets −59‎ →‎Introduction annuler
• actudiff 21:4830 juin 2021 à 21:48‎ As de carreau discuter contributions‎ 29 486 octets −3‎ →‎Introduction annuler
• actudiff 21:4830 juin 2021 à 21:48‎ As de carreau discuter contributions‎ 29 489 octets +3 189‎ →‎Histoire annuler

8 mai 2021

• actudiff 06:348 mai 2021 à 06:34‎ LilyKitty discuter contributions‎ 26 300 octets +64‎ sur la signature et la structure logique mathématique annuler Balise : Éditeur visuel

3 novembre 2020

• actudiff 17:483 novembre 2020 à 17:48‎ 2.7.115.254 discuter‎ 26 236 octets +13‎ modification de "il existe un élément d dans le domaine qui aime tout le monde" en "il existe un élément <math>x</math> dans le domaine qui aime tout le monde" annuler

19 septembre 2020

• actudiff 17:1419 septembre 2020 à 17:14‎ PIerre.Lescanne discuter contributions‎ 26 223 octets +56‎ →‎Exemples : L'exemple des groupes n'est pas un très bon exemple parce (si je ne me trompe) toutes les formules closes, sans quantificateurs, sont valides. annuler
• actudiff 11:3819 septembre 2020 à 11:38‎ PIerre.Lescanne discuter contributions‎ 26 167 octets +28‎ →‎Exemples : j'ai ajouté une formule non valide en théorie des groupes annuler
• actudiff 10:5119 septembre 2020 à 10:51‎ PIerre.Lescanne discuter contributions‎ 26 139 octets +28‎ peaufinage annuler
• actudiff 10:1319 septembre 2020 à 10:13‎ PIerre.Lescanne discuter contributions‎ 26 111 octets +33‎ «Existence » est inappropriée ici. annuler

18 septembre 2020

• actudiff 20:3918 septembre 2020 à 20:39‎ BradChim discuter contributions‎ 26 078 octets −6‎ Aucun résumé des modifications annuler
• actudiff 20:3918 septembre 2020 à 20:39‎ BradChim discuter contributions‎ 26 084 octets 0‎ mise en forme annuler Balise : Éditeur visuel
• actudiff 20:3718 septembre 2020 à 20:37‎ BradChim discuter contributions‎ 26 084 octets +9‎ mise en forme annuler Balise : Éditeur visuel

26 mai 2020

• actudiff 21:5526 mai 2020 à 21:55‎ Lomita discuter contributions‎ m 26 075 octets −27‎ v2.02 - Correction syntaxique (Lien interne avec cible identique au texte - Orthographe et typographie - Ponctuation dans un lien) annuler Balise : WPCleaner