Contributions de Tcharrie
Résultats pour Tcharrie discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 15 modifications. Compte créé le 10 décembre 2015.
11 décembre 2015
- 16:0811 décembre 2015 à 16:08 diff hist +117 Discussion:Logique temporelle →Parle-t-on vraiment des logiques temporelles en général ?
- 16:0711 décembre 2015 à 16:07 diff hist +612 Discussion:Logique temporelle →Parle-t-on vraiment des logiques temporelles en général ? : nouvelle section
- 15:1611 décembre 2015 à 15:16 diff hist −107 Logique temporelle Annulation des modifications 121241184 de Tcharrie (d)
- 15:1511 décembre 2015 à 15:15 diff hist +107 Logique temporelle J'ai changé la sémantique de LTL, qui était à la base une image, en écrivant du code LaTeX à la place (et ai corrigé une typo dans la sémantique du until)
10 décembre 2015
- 15:1210 décembre 2015 à 15:12 diff hist +73 Logique temporelle Clarification de la notation {a} pour les valuations
- 15:0910 décembre 2015 à 15:09 diff hist −23 Logique temporelle Aucun résumé des modifications
- 14:5010 décembre 2015 à 14:50 diff hist 0 Logique de Hoare →Règle de l'itération
- 14:5010 décembre 2015 à 14:50 diff hist +33 Logique de Hoare Aucun résumé des modifications
- 14:4810 décembre 2015 à 14:48 diff hist +4 Logique de Hoare →Axiome de l'affectation
- 14:4810 décembre 2015 à 14:48 diff hist +219 Logique de Hoare →Axiome de l'affectation
- 14:4710 décembre 2015 à 14:47 diff hist +903 Logique de Hoare →Règle de la conséquence
- 14:4610 décembre 2015 à 14:46 diff hist +11 Logique de Hoare →Règle de la conséquence
- 14:4510 décembre 2015 à 14:45 diff hist +326 Logique de Hoare →Axiome et règles
- 12:3310 décembre 2015 à 12:33 diff hist +98 N Utilisateur:Tcharrie J'ai écrit une phrase de présentation personnelle. Balise : Éditeur visuel
- 12:2910 décembre 2015 à 12:29 diff hist +37 Wikipédia:Journées contributives/Rennes/10 décembre 2015 →Sur place