Ouvrir le menu principal

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

< Wikipédia:Journées contributives

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.

Sommaire

JournéeModifier

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éeModifier

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

ParticipantsModifier

Sur placeModifier

À distanceModifier

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éterModifier

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 utilesModifier

Précisions importantes pour les contributeursModifier

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

BibliographieModifier

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

ISNModifier

  • 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

ProgrammationModifier

  • 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)

CompilationModifier

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

AlgorithmiqueModifier

Langages formelsModifier

Calculabilité, ComplexitéModifier

CryptographieModifier

LogiqueModifier

  • 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éseauModifier

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

Bases de donnéesModifier

  • 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)

DiversModifier

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

SémantiqueModifier

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