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[modifier le code]
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]
- 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[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.
- Cette liste d'articles à compléter est disponible ici
- Une autre liste, plus longue et moins restrictive, se trouve ici.
Pages utiles[modifier le code]
- 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[modifier le code]
- 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[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]
{{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 le code]
{{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 le code]
{{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 le code]
- 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 le code]
- 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 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)