Contributions de YaZko
Un utilisateur avec 14 modifications. Compte créé le 29 août 2013.
10 décembre 2015
- 16:3510 décembre 2015 à 16:35 diff hist +203 Logique de Hoare Reformulation de la partie triplet de hoare
- 16:2610 décembre 2015 à 16:26 diff hist +230 N Utilisateur:YaZko/Brouillon Nouvelle page : {{Aide:Comment créer un article/brouillon}} <!-- Merci d'écrire sous cette ligne --> == Sémantique dénotationnelle directe d'un langage WHILE == Notons <math>[\![C]\!]</ma... actuelle
- 16:2510 décembre 2015 à 16:25 diff hist +515 Sémantique dénotationnelle Ajout d'une idée générale, en cours
- 16:0610 décembre 2015 à 16:06 diff hist 0 m Logique de Hoare Référence déplacée
- 16:0010 décembre 2015 à 16:00 diff hist +135 m Logique de Hoare Ajout d'une référence vers Winskel
- 15:5310 décembre 2015 à 15:53 diff hist +12 m Logique de Hoare →Notion de correction totale
- 15:5310 décembre 2015 à 15:53 diff hist 0 Logique de Hoare →Notion de correction totale
- 15:5110 décembre 2015 à 15:51 diff hist +1 Logique de Hoare →Notion de correction totale
- 15:4910 décembre 2015 à 15:49 diff hist +2 m Logique de Hoare →Axiome et règles
- 15:4810 décembre 2015 à 15:48 diff hist +2 m Logique de Hoare →Règle de la conditionnelle
- 15:4410 décembre 2015 à 15:44 diff hist +4 456 Logique de Hoare Aucun résumé des modifications
- 12:2610 décembre 2015 à 12:26 diff hist +34 Wikipédia:Journées contributives/Rennes/10 décembre 2015 →Sur place
- 12:1610 décembre 2015 à 12:16 diff hist +39 N Utilisateur:YaZko Création de mon profil. actuelle Balise : Éditeur visuel
29 août 2013
- 10:4329 août 2013 à 10:43 diff hist +805 Discussion utilisateur:Binabik/Archive2013 →De la légitimité de la traduction d'un article anglais : nouvelle section
|