DIU Enseigner l'Informatique au Lycée
Bloc 4 : Algorithmique, structures de données et programmation
Intervenants
Organisation
Les séances auront toutes lieu en distanciel, en utilisant l'outil Collaborate de l'université.
Liens vers la page de visio conférence (public, accessible sans compte normalement)Les séances de cours seront enregistrées et mises en ligne sur cette page pour pouvoir les regarder aussi a posteriori.
Chaque demi-journée se composera d'une alternance de cours et d'exercices pratiques. Nous prévoyons 3h le matin (9h00-12h00) et 3h l'après-midi (13h00-16h00).
Programme
(Les supports et feuilles d'exercices seront déposées ici au fur et à mesure)
| Lundi | Mardi | Mercredi | Jeudi | |
|---|---|---|---|---|
| Matin | Prog. objet (Sylvain) | Listes chaînées (Kim) | Arbres binaires, ABR (JC) | Graphes et parcours (JC) |
| (ci-dessous) | cours exercices code à compléter solutions Vidéo 6 Vidéo 7 |
cours exercices solutions Vidéo 12 Vidéo 13 Vidéo 14 Vidéo 15 |
cours code exercices solutions Vidéo 19 Vidéo 20 |
|
| Après-midi | Prog. récursive (Sylvain) | Piles/Files (Kim) | Mise au point de programmes (Kim) | Algo Avancée* (JC) |
| cours exercices solutions Vidéo 1 Vidéo 2 Vidéo 3 Vidéo 4 Vidéo 5 |
cours exercices code à compléter solutions Vidéo 8 Vidéo 9 Vidéo 10 Vidéo 11 |
cours exercices code à compléter solutions Vidéo 16 Vidéo 17 Vidéo 18 |
cours code exercices solutions Vidéo 21 Vidéo 22 |
* : Recherche textuelle / Programmation Dynamique / Diviser pour régner (dans cet ordre, et selon ce que le temps permettra de faire)
Attention : les vidéos ont principalement pour but de permettre aux participants ayant eu des problèmes de connexion durant la séance de revisioner la partie manquante. Elles ne sont pas éditées et à ce titre peuvent contenir des imprécisions normalement corrigées dans les vidéos suivantes ou dans les suports mis à jour suite à la séance.
Évaluation
Les modalité d'évaluation du bloc sont décrites dans ce document.
Bloc 5 : Complexité et Calculabilité, Bases de données, Algorithmique Avancée, Paradigmes de Programmation
Intervenants
Organisation
Les séances auront toutes lieu en distanciel, du 19 au 21 octobre 2020 en utilisant l'outil Collaborate de l'université.
Liens vers la page de visio conférence (public, accessible sans compte normalement)Les séances de cours seront enregistrées et mises en ligne sur cette page pour pouvoir les regarder aussi a posteriori.
Chaque demi-journée se composera d'une alternance de cours et d'exercices pratiques. Nous prévoyons 3h le matin (9h00-12h00) et 3h l'après-midi (13h00-16h00).
Programme
(Les supports et feuilles d'exercices seront déposées ici au fur et à mesure)
| Lundi | Mardi | Mercredi | |
|---|---|---|---|
| Matin | Complexité et Calculabilité (JC) | Bases de données 1 (Kim) | Programmation fonctionnelle (Sylvain) |
|
cours exercices code fourni : stm.py code fourni : tabidir.py solutions : solutions solution : test_stm.py solution : machine_turing.py Vidéo 23 Vidéo 24 |
Modèle relationnel, contraintes SQL : Création de tables cours exercices corrigés fichier de la BD de films (syntaxe PostgreSQL) Vidéo 27 |
cours exercices corrigés exercice des n-reines corrigé des n-reines Vidéo 29 Vidéo 30 Vidéo 31 |
|
| Après-midi | Intro IA, Algorithmes probabilistes (JC) | Bases de Données 2 (Kim) | Paradigmes de programmation (Sylvain) |
|
cours code démo : kppv.py données : iris.csv code fourni : labyrinthe.py, quicksort.py exercices solutions Vidéo 25 Vidéo 26 |
SQL : Requêtes SQL : Mises à jour Vidéo 28 (supports de cours et exercices : cf ci-dessus) |
(cf ci-dessus) |
Quelques ressources au sujet de la calculabilité (suite à une demande) :
- L'excellent cours d'Olivier Bournez à l'École Polytechnique. Beaucoup de matériel librement accessible (polycopié, transparents, etc.).
- Livre en anglais : “Introduction to the theory of computation”, Michael Sisper. La référence aux US. Très bien écrit, avec des exemples forts bien choisis, et d’une grande pédagogie.
- Livres en français :
- Sylvain Perifel, Complexité algorithmique
- Olivier Carton, Langages formels, calculabilité et complexité
- Pierre Wolper, Introduction à la calculabilité: cours et exercices corrigés
- Certaines personnes réalisent et vendent des machines de Turing à vertus pédagogiques, notamment Thierry Delattre, avec sa machine de Turing électronique.