Projet:ENS Rennes langages formels 2016
Ce projet pédagogique est archivé.
Ce projet est inactif et n’est plus tenu à jour depuis longtemps. Il est conservé pour son intérêt historique.
Les élèves du département informatique et du département mathématiques de l'ENS Rennes s'unissent pour améliorer certains articles wikipedia relatifs aux langages formels.
Calendrier
[modifier | modifier le code]- 3 novembre ː Rendre un compte rendu des améliorations possibles de l'article, définition de votre projet
- Dès réception d'une réponse de ma part, vous pouvez commencer à travailler. Il est tout à fait possible que l'on interagisse à partir de maintenant (mail, rendez-vous dans mon bureau, etc.).
- 9 décembre ː Modifications terminées. Rendre le compte rendu de vos modifications (les contributions effectuées comptent dans le contrôle continu).
Ressources
[modifier | modifier le code]Pages à améliorer
[modifier | modifier le code]Inscrivez la pages à améliorer et les noms d'utilisateur (pour ceux qui veulent rester anonymes, vous pouvez aussi utiliser un pseudonyme, par contre, je vous encourage fortement à créer un compte) ici selon le modèle qui suit.
Titre de la page modifiée
[modifier | modifier le code]- Utilisateur1
- Utilisateur2
Informations quelconques.
- Santiago Bautista
- Alexandre Bonneau
- Pierre-Emmanuel Clet
- Charles Haquet
- Silvère Nédélec
- Alain Blaustein
- Pierre De Roubin
- Nathan Koskas
- Jimmy Petit
- Timothée Anne
- Mathieu Chambe
Page de brouillon : https://fr.wikipedia.org/wiki/Utilisateur:Timothée_Anne/Brouillon
- Benjamin Bordais
- Julie Parreaux
- Maxence Brévard
- Pierre Le Barbenchon
- Adrien Gougeon
- Nicolas Bellec
- Iskander Legheraba
- Paul Blochas
- Tsung-Hsuan Tsai
Page lemme d'Ogden, complément pour lemme de l'étoile à la Ogden.
- David Xu
- Clarence Kineider
Brouillon : Utilisateur:Clarence Kineider/Brouillon
- Bastien Jean
- Antoine Leblond
- Rémi Cornillet
- Florian Voorwinden
Brouillon : Utilisateur:NotARealCat/Brouillon#Modification