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

Une page de Wikipédia, l'encyclopédie libre.

Journée contributive
Type Journées contributives
Pays Drapeau de la France 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 de 10h à 18h

Géolocalisation sur la carte : Rennes
(Voir situation sur carte : Rennes)
Journée contributive

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.

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[modifier le code]

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[modifier le code]

Sur place[modifier le code]

À distance[modifier le code]

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[modifier le code]

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.

Pages utiles[modifier le code]

Pages d'aide[modifier le code]

Précisions importantes pour les contributeurs[modifier le code]

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

Bibliographie[modifier le code]

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

ISN[modifier le code]

  • Gilles Dowek et al., Introduction à la science informatique : pour les enseignants de la discipline en lycée, Canopé, coll. « Repères pour agir », (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 », , 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 », , 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, , 3e é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[modifier le code]

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

Compilation[modifier le code]

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

Algorithmique[modifier le code]

Langages formels[modifier le code]

Calculabilité, Complexité[modifier le code]

Cryptographie[modifier le code]

Logique[modifier le code]

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

Réseau[modifier le code]

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

Bases de données[modifier le code]

  • Jean-Luc Hainaut, Bases de données : Concepts, utilisation et développement, Dunod, , 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, , 377 p. (ISBN 978-2-7460-4154-7)

Divers[modifier le code]

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

Sémantique[modifier le code]

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