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 | de 10h à 18h | |
Géolocalisation sur la carte : Rennes
| ||
modifier |
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
modifierLa 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
modifier10h : | 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
modifierSur place
modifier- 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
modifierOn 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
modifierNous 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
modifier- 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
modifierPrécisions importantes pour les contributeurs
modifierLa création et l'amélioration des articles sur wikipédia suppose le respect des principes fondateurs, dont notamment :
Bibliographie
modifierVoici quelques ouvrages de référence, pour éviter de recopier ces informations à répétition.
ISN
modifier- 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- 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{{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, , 2e éd. (1re é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, , 310 p. (ISBN 9782340-003668)
Algorithmique
modifier{{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, , 3e éd. (1re é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, , 577 p. (ISBN 2-7042-1217-1, lire en ligne)
- Michel Gondran et Michel Minoux, Graphes et algorithmes, Lavoisier, , 4e é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, , 264 p. (ISBN 978-2-311-00020-7)
{{Algorithmique (Quercia)}}
Michel Quercia, Algorithmique : Cours complet, exercices et problèmes résolus, travaux pratiques, Vuibert, , 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
modifier{{Langages formels, calculabilité et complexité}}
Olivier Carton, Langages formels, calculabilité et complexité, [détail de l’édition] (lire en ligne)- Jacques Sakarovitch, Éléments de théorie des automates, Vuibert, , 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é
modifier- Jean-François Rey, Calculabilité, complexité et approximation, Vuibert, , 363 p. (ISBN 2-7117-4808-1)
- Sylvain Perifel, Complexité algorithmique, Ellipses, , 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 », , 204 p. (ISBN 978-2-10-051588-2)- Chap. 3 : problème de l'arrêt
- Chap. 8 : classes P et NP
Cryptographie
modifier- Johannes Buchmann, Introduction à la cryptographie, Dunod, , 261 p. (ISBN 2-10-049622-0)
- Bruno Martin, Codage, cryptologie et applications, Presse polytechniques et universitaires romandes, , 350 p. (ISBN 2-88074-569-1)
- Pierre Barthélemy, Robert Rolland et Pascal Véron, Cryptographie : principes et mises en oeuvre, Lavoisier, , 2e é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
modifier- 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- Andrew Tanenbaum et David Wetherall, Réseaux, Pearson, , 5e éd., 970 p. (ISBN 978-2744075216)
Bases de données
modifier- 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- 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- (en) Glynn Winskel, The Formal Semantics of Programming Languages : An Introduction, The MIT Press, , 361 p. (ISBN 0-262-23169-7)