Prepas.org

Le site de l'UPS pour les Classes Préparatoires aux Grandes Écoles

ENSSAT Nouveaux programmes d’informatique en CPGE COMPLET du Mercredi 12 mars 2014 au Jeudi 13 mars 2014

Présentation

On distingue en général deux étapes essentielles dans le développement d’applications informatiques, elles correspondent aux deux questions qu’il est indispensable de se poser : le quoi ? (c’est la spécification) et le comment ? (c’est la programmation).

En partant de l’analyse des relations qu’entretiennent ces deux notions de spécification et de programmation, l’objectif principal de ce stage est d’étudier comment il est possible d’en déduire une démarche permettant de produire des algorithmes conformes à leur spécification.

L’accent sera mis sur les techniques permettant le développement correct (rigueur de la spécification, définition des structures de base de la programmation, construction raisonnée d’algorithmes à partir de spécification, etc.) et efficace (notion de complexité temporelles et spatiales) d’algorithmes.

Les techniques étudiées sont suffisamment générales pour s’appliquer à tout langage impératif, cependant elles seront illustrées à travers les constructions impératives du langage Python.

Ce stage vise à concevoir l’enseignement de l’informatique comme une discipline permettant d’apprendre à analyser, spécifier et modéliser de manière rigoureuse une situation ou un problème.



Développement informatique = spécification + programmation. Une démarche méthodologique pour concevoir des algorithmes

Mots-clés
Spécification, pré/post-conditions, logique du 1er ordre, méthode de programmation, correction d’algorithmes, invariant de boucles, raffinement, renforcement, erreurs de raisonnement.

Auditoire attendu
Les professeurs des classes de mathématiques supérieures et spéciales ayant une connaissance pratique des notions élémentaires du langage Python (séquentialités, alternatives, itératives).

Durée – dates – horaires
2 jours – mercredi 12 et jeudi 13 mars 2014 – 9h à 18h.

Lieu
Enssat, 6 rue de Kerampont, Lannion 22305.
École nationale supérieure des sciences appliquées et de technologie
6, rue de Kerampont – BP 80518 – 22305 Lannion – France
Tél. +33 (0)2 96 46 90 26 – fax +33 (0)2 96 37 01 99 – secretariat.direction@enssat.fr


Intervenants
Marc Guyomard (Professeur des Universités).
Patrick Bosc (Professeur des Universités).

Contact
Daniel Rocacher
Mobile : 06 07 67 12 47
Tél : 02 96 46 90 48
Mail : liesse@enssat.fr

Site Enssat : www.enssat.fr/

Seuil d’ouverture / numerus clausus : Ce stage sera organisé pour un effectif entre 10 et 16 auditeurs.
Inscription : ici

Inscription gratuite mais obligatoire (dans la limite des places disponibles)
L’Enssat prend en charge deux déjeuners et une nuitée Appart’City (tarif de groupe).

Cet enseignement sera illustré par un grand nombre d’exemples étudiés alternativement en cours, travaux dirigés et travaux pratiques.

Document fourni : Un polycopié d’environ 50 pages.
Programme du stage

1. Introduction : différentes formes de spécification, différents paradigmes de programmation, notion de complexité.
2. Spécification pré/post. Un langage pour spécifier : la logique mathématique.
3. Définition rigoureuse des constructions impératives (séquentialité, alternatives, itératives).
4. Renforcement de post-conditions.
5. Constructions d’itératives : heuristiques pour la découverte d’invariants.
6. Erreurs et fautes méthodologiques les plus fréquentes