Amphi du 29 Août 1997
Département Mathématiques Appliquées
Présentation de l'Informatique
L'Informatique dans l'actualité
- Les malheurs d'Ariane
- L'ordinateur de bord de Mir
- Deeper Blue l'emporte sur Kasparov
- Le retard de la France en Internet
- La photo du fortuné Bill Gates (Microsoft)
Problèmes fondamentaux posés
- Ecrire des logiciels sûrs
- Traiter des données complexes
- Concevoir des programmes gigantesques et efficaces
- Confidentialité de la transmission d'informations
- Les images comme données (traitement, réalisation)
Logiciels sûrs
- Preuve de programmes, logique mathématique
(renouveau de la discipline)
- Algorithmes de vérification (rapidité !)
- Discipline stricte de programmation
- Langages typés
Données complexes
- Structures de données
- Retrouver de l'information (rapidité !)
- Ajouter de l'aléatoire
Confidentialité Protection
- Systèmes fermés
- Techniques particulières sur certains sites
Cryptographie
- Algorithmes NP-complets (rapidité !)
- Echanges d'informations à divulgation nulle
Images
- Algorithmes rapides de reconnaissance
- Synthèse d'images réalistes (réalité
virtuelle)
- Langages de programmation adaptés (http, java)
Tronc Commun et Majeures
- Tronc Commun :
Robert Cori
- Voie C, Informatique de la décision:
Jean-Marc Steyaert
- Majeure Mathématiques et Informatique:
Jean Vuillemin
- Majeure d'Informatique:
Jean-Jacques Levy
Algorithmes et Programmation
Promotion 96
Robert Cori
Jean-Jacques Levy
Organisation du Tronc Commun
- Initiation
- Cours et exercices (PC)
- Programmation (TD)
- Projets
Initiation (3 séances)
- Envoyer du courrier
- Consulter le WWW
- Ecrire un petit programme.
Les concepts fondamentaux du Cours
- Organiser les données
(Tableaux, Listes, Files, Arbres)
- Programmation récursive
(Divide and conquer, Exploration arborescente)
- Algorithmes efficaces
(Arbres, Graphes, Calculs simples de complexité)
Projets
Programme de 1000 lignes environ à réaliser sur un sujet
proposé par un enseignant, à choisir dans un opuscule de présentation
- Occasion de réalisation effective personnelle
- Propositions pluri-disciplinaires
- Choix possible de la période de travail
Langages de Programmation
- Problème de notation pour exprimer les algorithmes
- Style de programmation associé à un langage
- Langage C, proche de Pascal, très utilisé mais non
typé
- Pascal veillissant mais déjà connu
- ML (version CAML) pour les forts , apprendre un nouveau style.