Wikipédia:Journées contributives/Rennes/10 décembre 2015

Journée contributive
Type	Journées contributives
Pays	France
Localisation	ISTIC
Coordonnées	48° 06′ 56″ nord, 1° 38′ 19″ ouest
Organisateur	ENS Rennes, avec le soutien de Inria, de l'IRISA et de l'ISTIC.
Date	10 décembre 2015 de 10h à 18h
Géolocalisation sur la carte : Rennes

L'ENS Rennes organise une journée contributive sur le thème de l'informatique en collaboration avec l'IRISA, Inria (Rennes − Bretagne atlantique) et l'ISTIC, et en lien avec la Cabale Informatique France. Les articles ciblés sont plus particulièrement ceux qui rentrent dans le cadre du programme de l'enseignement de spécialité informatique et sciences du numérique de terminale S.

Journée

La journée aura lieu le jeudi 10 décembre 2015 de 10h à 18h en salle 210 (2ème étage) du bâtiment 12D de l'ISTIC, sur le campus de Beaulieu.

Programme de la journée

10h :	Café d'accueil
10h15 :	Présentation de Wikipédia
11h15 :	Choix des articles et contribution
13h :	Déjeuner
14h :	Session de contribution
17h :	Café
18h :	Fin de la journée

Participants

Sur place

• Victouffe (d · c) : étudiant en informatique.
• Zooky (d · c) : étudiant en informatique (petites modifs sur dichotomie, diviser pour régner (informatique)).
• VIGNERON (d · c) : wikimédien
• Tsaag Valren (d · c) : bidule hippophile
• YaZko (d · c) : Yannick Zakowski (sémantique dénotationnelle, logique de Hoare)
• Tcharrie (d · c) : Tristan Charrier (logique de Hoare, logique temporelle)
• Throwaway account 2435346 (d · c) : touriste (stratégie d'évaluation (informatique), type dépendant)
• Neehean (d · c) : touriste
• Deresyas (d · c) : Arriviste
• Le Zinzographe (d · c) : Rhinocéros laineux (Indexation automatique de documents)
• Doscan (d · c) : étudiant en informatique (problème d'affectation).
• Brucyn (d · c) : étudiant en informatique (langage rationnel).
• Cybours (d · c) : Doctorant en informatique
• Fschwarzentruber (d · c) : enseignant-chercheur en informatique (algorithme de Dijkstra, fonction récursive primitive)
• Guillaume.Aucher (d · c) : enseignant-chercheur en informatique (création de la page Dynamic epistemic logic)

À distance

On pourra par exemple utiliser IRC, comme expliqué sur cette page.

• PIerre.Lescanne (d · c): retraité (télé-présent (?), intéressé par le projet)

Suggestions d'articles à compléter

Nous essayons de sélectionner des articles à compléter parmi ceux en lien avec l'enseignement de spécialité informatique et sciences du numérique de terminale série scientifique. Les articles déjà relativement complets ne figurent pas dans cette liste, même s'il est toujours possible de les améliorer. Cela reste toutefois une suggestion ; n'hésitez pas à améliorer et compléter les articles de votre choix.

• Cette liste d'articles à compléter est disponible ici
• Une autre liste, plus longue et moins restrictive, se trouve ici.

Pages utiles

• Il est possible de consulter les statistiques d'accès à un article (nombre de vues de la page) sur http://stats.grok.se.
• La liste des articles les plus consultés pour le projet informatique théorique.
• Bien que les articles qui nous préoccupent ne sont pas les plus importants pour le projet informatique, la liste des articles les plus vus de ce projet est disponible ici : Projet:Informatique/Pages_populaires.
• « Un aperçu du programme d'ISN »
• Projet « Informatique »
• Projet « Informatique théorique »
• Portail « Informatique théorique »

Pages d'aide

• Aide : modèle « Ouvrage »
• Aide : présentez vos sources
• Aide : syntaxe wikicode
• Aide : modèle « Lien web »
• Explications sur les différents niveaux de sources

Précisions importantes pour les contributeurs

La création et l'amélioration des articles sur wikipédia suppose le respect des principes fondateurs, dont notamment :

• la neutralité de point de vue ;
• le respect du droit d'auteur ;
• le respect des règles sociales.

Bibliographie

Voici quelques ouvrages de référence, pour éviter de recopier ces informations à répétition.

ISN

• Gilles Dowek et al., Introduction à la science informatique : pour les enseignants de la discipline en lycée, Canopé, coll. « Repères pour agir », 2011 (ISBN 978-2866311889, lire en ligne)
• Gilles Dowek et al., Informatique et sciences du numérique : Spécialité ISN en terminale S, Eyrolles, coll. « Noire », 2012, 301 p. (ISBN 978-2212135435)
• Werner Hartmann, Michael Näf et Raimond Reichert (trad. de l'allemand), Enseigner l'informatique [« Informatikunterricht planen und durchführen »], Springer-Verlag France, coll. « IRIS », 2011, 176 p. (ISBN 978-2-8178-0261-9)
• Hugues Bersini, Marie-Paule Spinette, Robert Spinette et Nicolas van Zeebroeck, Les fondements de l'informatique : Du bit au cloud, Vuibert, 2014, 3^e éd., 403 p. (ISBN 978-2-311-40041-0)
  • Chap. 2 : codage et traitement de l'information binaire
  • Chap. 3 & 4 : introduction architectures
  • Chap. 5 : introduction réseaux
  • Chap. 6 : introduction système
  • Chap. 8 : introduction bases de données & SQL

Programmation

• Guy Cousineau et Michel Mauny, Approche fonctionnelle de la programmation, Ediscience international, 1995, 428 p. (ISBN 978-2840741145)
• Jacquelin Charbonnel, Langage C++ : Le standard ANSI/ISO expliqué, Dunod, 1999, 2^e éd. (1^re éd. 1997), 353 p. (ISBN 978-2100048090)

Compilation

• {{Compilateurs (Aho, Lam, Sethi, Ullman) 2e édition}} Alfred Aho, Monica Lam, Ravi Sethi et Jeffrey Ullman (trad. de l'anglais par Philippe Deschamp, Bernard Lorho, Benoît Sagot et François Thomasset), Compilateurs : Principes, techniques et outils [« Compilers: Principles, Techniques, and Tools »], France, Pearson Education, novembre 2007, 2^e éd. (1^re éd. 1977), 901 p. (ISBN 978-2-7440-7037-2, présentation en ligne)
  • Chap. 3 : analyse lexicale
  • Chap. 4 : analyse syntaxique

• Romain Legendre et François Schwarzentruber, Compilation : analyse lexicale et syntaxique : Du texte à sa structure en informatique, 2015, 310 p. (ISBN 9782340-003668)

Algorithmique

• {{Cormen3fr}} Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein (trad. de l'anglais), Algorithmique : Cours avec 957 exercices et 158 problèmes, Dunod, 2010, 3^e éd. (1^re éd. 1990), 1188 p. (ISBN 978-2-10-054526-1)
• Christine Froidevaux, Marie-Claude Gaudel et Michèle Soria, Types de données et algorithmes, McGraw-Hill, 1990, 577 p. (ISBN 2-7042-1217-1, lire en ligne)
• Michel Gondran et Michel Minoux, Graphes et algorithmes, Lavoisier, 2009, 4^e éd., 775 p. (ISBN 978-2-7430-1035-5)
• Jacques Julliand, Cours et exercices corrigés d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant, Vuibert, 2010, 264 p. (ISBN 978-2-311-00020-7)
• {{Algorithmique (Quercia)}} Michel Quercia, Algorithmique : Cours complet, exercices et problèmes résolus, travaux pratiques, Vuibert, 2002, 303 p. (ISBN 2-7117-7091-5)
  • Chap. 1 : algorithme, récursivité
  • Chap. 7 & 8 : arbre (informatique), arbre binaire, arbre binaire de recherche
  • Chap. 6 : complexité en temps, complexité en espace, complexité en moyenne

Langages formels

• {{Langages formels, calculabilité et complexité}} Olivier Carton, Langages formels, calculabilité et complexité, 2008 [détail de l’édition] (lire en ligne)
• Jacques Sakarovitch, Éléments de théorie des automates, Vuibert, 2003, 816 p. (ISBN 2-7117-4807-3)
  • Chapitre I Automate fini
  • Chapitre I.2 Langage rationnel
  • Chapitre I.2 Expressions rationnelles
  • Chapitre II.6 Automate à pile
  • TOUT (à trier) Théorie des automates

Calculabilité, Complexité

• Jean-François Rey, Calculabilité, complexité et approximation, Vuibert, 2004, 363 p. (ISBN 2-7117-4808-1)
• Sylvain Perifel, Complexité algorithmique, Ellipses, 2014, 410 p. (ISBN 978-2-7298-8692-9)
• {{Calculateurs, calculs, calculabilité (Ridoux, Lesventes)}} Olivier Ridoux et Gilles Lesventes, Calculateurs, calculs, calculabilité, Dunod, coll. « Sciences sup », 2008, 204 p. (ISBN 978-2-10-051588-2)
  • Chap. 3 : problème de l'arrêt
  • Chap. 8 : classes P et NP

Cryptographie

• Johannes Buchmann, Introduction à la cryptographie, Dunod, 2006, 261 p. (ISBN 2-10-049622-0)
• Bruno Martin, Codage, cryptologie et applications, Presse polytechniques et universitaires romandes, 2004, 350 p. (ISBN 2-88074-569-1)
• Pierre Barthélemy, Robert Rolland et Pascal Véron, Cryptographie : principes et mises en oeuvre, Lavoisier, 2012, 2^e éd., 471 p. (ISBN 978-2-7462-3816-9)
  • Chapitre 1.2 Clé de chiffrement
  • Chapitre 2 Cryptographie asymétrique Clé de chiffrement
  • Chapitre 3 Clé de chiffrement
  • tout (?) Cryptographie

Logique

• René David, Karim Nour et Christophe Raffali, Introduction à la logique : Théorie de la démonstration, Dunod, 2003, 2^e éd. (1^re éd. 2001), 352 p. (ISBN 2-10-006796-6)

Réseau

• Andrew Tanenbaum et David Wetherall, Réseaux, Pearson, 2011, 5^e éd., 970 p. (ISBN 978-2744075216)

Bases de données

• Jean-Luc Hainaut, Bases de données : Concepts, utilisation et développement, Dunod, 2009, 695 p. (ISBN 978-2-10-052950-6)
• Michelle Clouse, Algèbre relationnelle : Guide pratique de conception d'une base de données normalisée, ENI, 2008, 377 p. (ISBN 978-2-7460-4154-7)

Divers

• Jean-Paul Delahaye, L'intelligence et le calcul : de Gödel aux ordinateurs quantiques, Belin, 2002, 192 p. (ISBN 2-84245-040-X)

Sémantique

• (en) Glynn Winskel, The Formal Semantics of Programming Languages : An Introduction, The MIT Press, 1996, 361 p. (ISBN 0-262-23169-7)