Les ames fortes

2881 mots 12 pages
OBJECTIFS DE FORMATION ET PROGRAMME ` DE L’OPTION INFORMATIQUE DANS LA FILIERE MP I. OBJECTIFS DE FORMATION
L’informatique est une science op´rant sur des repr´sentations rigoureuses de concepts bien d´finis. Le e e e programme doit donc permettre de pr´senter les principes de la programmation ainsi que les bases de e l’algorithmique, de la th´orie des automates et de la logique. Le programme qui suit se veut ` la fois ambitieux e a et coh´rent, tout en ´vitant d’aborder les concepts trop difficiles ou trop techniques, qui rel`vent des ´tudes e e e e ult´rieures. e Par ailleurs, un enseignement d’informatique doit ˆtre confront´ ` un principe de r´alit´ : les ´tudiants doivent e ea e e e donc mettre en œuvre les outils conceptuels ´tudi´s, en programmant dans un langage de programmation, sous e e la forme de programmes clairs, courts et pr´cis. La liste des langages autoris´s fait l’objet d’une publication e e actualis´e. La virtuosit´ ` manipuler un langage n’est pas un objectif du programme. e ea

II. PROGRAMME DE LA CLASSE MPSI ´ II.1. METHODES DE PROGRAMMATION
On pr´sente la m´thode d’analyse descendante (c’est-`-dire par raffinements successifs). Mˆme si l’on ne prouve e e a e pas syst´matiquement tous les algorithmes, il faut d´gager l’id´e qu’un algorithme doit se prouver, ` l’instar e e e a d’un th´or`me de math´matiques. On ´tudie syst´matiquement la complexit´ des algorithmes du programme e e e e e e et, sur certains exemples, le lien entre cette complexit´ et les structures de donn´es. On s’attache ` obtenir e e a des ´tudiants une documentation aussi compl`te que possible de leurs algorithmes (conditions d’entr´e dans e e e un module, conditions de sortie, invariants dans les boucles ou les appels r´cursifs). Toutes ces notions sont e d´gag´es ` partir des algorithmes du programme, sans aucune th´orie sur les pr´dicats ou les invariants de e e a e e boucles. II.1.1 It´ration e Boucles conditionnelles et boucles inconditionnelles. II.1.2. R´cursivit´ e e

en relation

  • Maths
    259 mots | 2 pages
  • Td tp programmation unix
    2496 mots | 10 pages
  • Leq ames fortes
    643 mots | 3 pages
  • Ames fortes
    351 mots | 2 pages
  • Les ames fortes
    2420 mots | 10 pages
  • composition seconde de guerre mondiale
    434 mots | 2 pages
  • Les âmes fortes
    604 mots | 3 pages
  • Plan feder
    8517 mots | 35 pages
  • Llll
    3392 mots | 14 pages
  • Dissertation
    325 mots | 2 pages
  • TRANSPORT LAPLACIEN AUX INTERFACES IRREGULIERES : ETUDE THEORIQUE, NUMERIQUE ET EXPERIMENTALE
    144969 mots | 580 pages
  • les transformateur
    388 mots | 2 pages