TDs du cours INF 431, printemps 2010

• TD 1 Révisions et interfaces - à rendre avant le lundi 1/2 midi - B = 4 exos^*, A = 6 exos^* (solutions)
• TD 2 Héritage et typographie - à rendre avant le mercredi 10/2 midi - B = 4 exos^*, A = 6 exos^* (solutions)
• TD 4 Dessin d'arbres - à rendre avant le lundi 1/3 14h mardi 2/3 8h00 - B = 4 exos^*, A = 6 exos^* (solutions)
• TD 5 Graphes - à rendre avant le mercredi 10/3 midi - B = 3 exos^*, A = 5 exos^* (solutions)
• TD 7 Parcours de graphes - à rendre avant le mercredi 24/3 midi - B = 3 exos^*, A = 5 exos^* (solutions)
• TD 9 Games of Strategy - à rendre avant le mercredi 7/4 midi - B = 3 exos^*, A = 5 exos^* (solutions)
• TD 11 Logique de Hoare mécanisée - rien à rendre pour ce TD, mais en revanche il y a un DM 11 pour le 5 mai (solutions)
• TD 12 Routage - à rendre avant le mercredi 12/5 midi - B = 4 exos^*, A = 6 exos^*
  Comment lancer les programmes qui permettent de continuer seul
  (solutions)
• TD 15 Élection sur un arbre
  Comment lancer les programmes qui permettent de continuer seul

  Page du cours INF 431

  Documentation Java

  • Utilisation de paquetages Java par la ligne de commande
  • Quelques règles de bon usage en Java
  • Documentation Java 5.0 locale (accès restreint au campus)
  • Documentation Java 5.0 chez Sun
  • The Java Language Specification, Third Edition

  Le package grapheX

  • version 2.1, 20080301; avec son .jar et sa documentation en ligne.

  Eclipse

  • Introduction à l'utilisation d'eclipse

  Portables

  • Comment se connecter en salles de cours

  Certificat
  Pour installer le certificat des serveurs de l'enseignement, cliquer. Ce certificat est utilisé ici dans le processus d'authentification des dépôts.

  ---

  Cursus informatique,
  École Polytechnique, 2008-2009.