Contributions de JeanCASPAR

Rechercher des contributionsaffichermasquer

⧼contribs-top⧽

Adresse IP ou nom d’utilisateur :

Espace de noms :

Inverser la sélection

Espace de noms associé

Filtrer les balises :

Inverser la sélection

Ne montrer que les contributions qui sont les dernières des articles

Afficher uniquement les créations de page

Masquer les modifications mineures

⧼contribs-date⧽

À partir du :

Jusqu’au :

Cacher les modifications probablement bonnes

22:2813 juillet 2024 à 22:28 diff hist +93‎ Projet:Logique/Participants ‎Aucun résumé des modifications actuelle Balise : Éditeur visuel
22:2213 juillet 2024 à 22:22 diff hist −30‎ m Théorème de Kleene ‎Aucun résumé des modifications actuelle Balise : Éditeur visuel
22:1313 juillet 2024 à 22:13 diff hist −6‎ m Monoïde des traces ‎ →‎Définition : changement lien actuelle Balise : Éditeur visuel
19:4713 juillet 2024 à 19:47 diff hist +426‎ Lambda-calcul simplement typé ‎ Correction et complétude de la sémantique catégorique. actuelle Balise : Éditeur visuel
19:2913 juillet 2024 à 19:29 diff hist +35‎ m Lambda-calcul simplement typé ‎ →‎Catégorie cartésienne fermée Balise : Éditeur visuel
19:2713 juillet 2024 à 19:27 diff hist +3 242‎ Lambda-calcul simplement typé ‎ →‎Catégorie cartésienne fermée : définition de la sémantique. Balise : Éditeur visuel
19:0613 juillet 2024 à 19:06 diff hist 0‎ m Lambda-calcul simplement typé ‎ Correction nom Balise : Éditeur visuel
19:0613 juillet 2024 à 19:06 diff hist +1 510‎ Lambda-calcul simplement typé ‎ Ajout d'une section sur la sémantique dans les catégories cartésiennes fermées. Balise : Éditeur visuel
17:2013 juillet 2024 à 17:20 diff hist +1‎ m Lambda-calcul ‎ Correction formule actuelle Balise : Éditeur visuel
17:1913 juillet 2024 à 17:19 diff hist +37‎ m Lambda-calcul ‎ →‎Articles connexes Balise : Éditeur visuel
12:1113 juillet 2024 à 12:11 diff hist +526‎ Discussion Projet:Écoatlas ‎ →‎Absence de sources : nouvelle section actuelle Balise : Nouveau sujet
11:5513 juillet 2024 à 11:55 diff hist +34‎ m Désert côtier atlantique ‎ Bandeau sans sources. actuelle Balise : Éditeur visuel
11:5313 juillet 2024 à 11:53 diff hist +28‎ m Aliasing (informatique) ‎ Ajout de la page d'homonymie actuelle Balises : Éditeur visuel Liens d’homonymie
11:5113 juillet 2024 à 11:51 diff hist +28‎ m Repliement de spectre ‎ Ajout de la page d'homonymie actuelle Balises : Éditeur visuel Liens d’homonymie
11:4213 juillet 2024 à 11:42 diff hist −53‎ m Aliasing ‎ Correction lien vers un article créé actuelle Balise : Éditeur visuel

22:0111 juillet 2024 à 22:01 diff hist −71‎ m Lambda-calcul simplement typé ‎ →‎Réduction : remplacement du terme "autoréduction" par "préservation du typage" Balise : Éditeur visuel
21:5511 juillet 2024 à 21:55 diff hist +274‎ m Lambda-calcul simplement typé ‎ Sources Balise : Éditeur visuel
21:2711 juillet 2024 à 21:27 diff hist +189‎ m Lambda-calcul simplement typé ‎ Ajout du modèle {{Nobr}} Balise : Éditeur de source 2017
20:5811 juillet 2024 à 20:58 diff hist +230‎ Lambda-calcul simplement typé ‎ Réorganisation du contenu : section →‎Types produits : à part. Balise : Éditeur visuel
12:4111 juillet 2024 à 12:41 diff hist −60‎ Alévisme ‎ Annulation de la modification de 93.22.151.151 (d) ; non neutre actuelle Balise : Annulation

23:1910 juillet 2024 à 23:19 diff hist −6‎ m Monarchisme aux États-Unis ‎ →‎Monarques potentiels actuelle Balise : Éditeur visuel

21:538 juillet 2024 à 21:53 diff hist −17‎ Alévisme ‎ Fusion des deux sections "Croyances" Balise : Éditeur visuel
21:458 juillet 2024 à 21:45 diff hist +118‎ Discussion:Vérité creuse/Admissibilité ‎ Oubli signature Balise : Éditeur de source 2017
21:448 juillet 2024 à 21:44 diff hist −119‎ Discussion:Vérité creuse/Admissibilité ‎Aucun résumé des modifications Balise : Éditeur de source 2017
14:358 juillet 2024 à 14:35 diff hist +350‎ Discussion:Vérité creuse/Admissibilité ‎ →‎Fusionner Balise : Éditeur de source 2017
14:198 juillet 2024 à 14:19 diff hist +704‎ Discussion Projet:Informatique théorique ‎ →‎Catégorie : Réponse Balise : Répondre

14:284 juillet 2024 à 14:28 diff hist +350‎ Méga-nombre premier ‎ →‎Méga-nombre premiers et PP connus : Remise en cause de la pertinence de la liste. Balise : Éditeur visuel
11:414 juillet 2024 à 11:41 diff hist +42‎ m Matrice vide ‎ Annulation de la modification de Fecnoooom (d) ; les signes de ponctuation doubles doivent être précédés d'une espace Wikipédia:Conventions typographiques#Signes de ponctuation
11:384 juillet 2024 à 11:38 diff hist +3‎ m Lambda-calcul simplement typé ‎ →‎Correspondance de Curry-Howard : typographie Balise : Éditeur visuel

23:353 juillet 2024 à 23:35 diff hist +1‎ m Machine de Turing ‎ →‎Réalisation d'une machine de Turing Balise : Éditeur visuel
23:353 juillet 2024 à 23:35 diff hist −1 282‎ Machine de Turing ‎ Wikification #moiswikif Balise : Éditeur visuel
22:433 juillet 2024 à 22:43 diff hist +14‎ m Arbre cartésien ‎ →‎Treaps : Correctiont traduction actuelle Balise : Éditeur visuel
22:383 juillet 2024 à 22:38 diff hist −1‎ m Calcul des constructions ‎ Correction lien actuelle Balise : Éditeur visuel

00:102 juillet 2024 à 00:10 diff hist +1 672‎ Discussion:Lambda-calcul simplement typé ‎ →‎Produit de types : Réponse Balise : Répondre

21:101 juillet 2024 à 21:10 diff hist +729‎ m Lambda-calcul simplement typé ‎ Retouches références Balise : Éditeur visuel

10:5429 juin 2024 à 10:54 diff hist +32‎ Nombre taxicab généralisé ‎ Pour que chacun puisse vérifier les informations de Wikipédia, il faut citer ses sources. https://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Citez_vos_sources Balise : Éditeur visuel

23:5027 juin 2024 à 23:50 diff hist +2 621‎ Lambda-calcul simplement typé ‎ →‎Correspondance de Curry-Howard : Nouvelle section Balise : Éditeur visuel
22:2727 juin 2024 à 22:27 diff hist +1‎ m Déduction naturelle ‎ →‎Autres logiques : typo actuelle Balise : Éditeur visuel
21:1527 juin 2024 à 21:15 diff hist +15‎ m Alexandre Grothendieck ‎ →‎Hommages : Typo Balise : Éditeur visuel

22:2626 juin 2024 à 22:26 diff hist +8‎ Principe de Markov ‎ Ajout au portail de la logique actuelle Balise : Éditeur visuel
22:2526 juin 2024 à 22:25 diff hist −4‎ Principe de Markov ‎ Il ne s'agit pas de la même thèse de Church. Balise : Éditeur visuel

21:3525 juin 2024 à 21:35 diff hist +1‎ m Imprédicativité ‎ →‎Article connexe : mise en page actuelle Balise : Éditeur visuel
21:3425 juin 2024 à 21:34 diff hist −137‎ Argument de la diagonale de Cantor ‎ Ce n'est pas une démonstration par l'absurde ; on montre que quelque est faux. Balise : Éditeur visuel
00:2625 juin 2024 à 00:26 diff hist +116‎ Discussion:Anubis (langage)/Admissibilité ‎ →‎Supprimer : Oubli signature Balises : Modification par mobile Modification par le web mobile Modification sur mobile avancée

21:0424 juin 2024 à 21:04 diff hist +62‎ m Lambda-calcul simplement typé ‎ →‎Types sommes : typo Balise : Éditeur visuel
20:5724 juin 2024 à 20:57 diff hist +495‎ Discussion:Anubis (langage)/Admissibilité ‎ →‎Supprimer Balise : Éditeur de source 2017

22:4423 juin 2024 à 22:44 diff hist +553‎ Wikipédia:Le Bistro/21 juin 2024 ‎ →‎ChatGPT : Réponse Balise : Répondre
20:3623 juin 2024 à 20:36 diff hist +4‎ m John C. Reynolds ‎ →‎Travaux de recherche : Lien actuelle Balise : Éditeur visuel
20:3223 juin 2024 à 20:32 diff hist 0‎ m Snap! (langage) ‎ →‎Fonctionnalités : Typo actuelle Balise : Éditeur visuel
20:2823 juin 2024 à 20:28 diff hist +17‎ m Sémantique formelle ‎ Lien actuelle Balise : Éditeur visuel

Contributions de JeanCASPAR

13 juillet 2024

11 juillet 2024

10 juillet 2024

8 juillet 2024

4 juillet 2024

3 juillet 2024

2 juillet 2024

1 juillet 2024

29 juin 2024

27 juin 2024

26 juin 2024

25 juin 2024

24 juin 2024

23 juin 2024