Informations complémentaires

• Laboratoire d'Informatique de l'X (LIX)
• DEA Algorithmique
• DEA Sémantique, Preuves et Programmation

• Petites classes de Patrice Bertin en PDF
• Petites classes de Jean-Jacques Lévy en HTML ou DVI.

• Travaux dirigés de Bruno Salvy en HTML.
• Travaux dirigés de Pierre Weis en HTML.

• Polycopié du cours de Tronc Commun d'informatique

• Contrôle de classement 1996 [énoncé et corrigé en PostScript], 4h
• Sondage 1996 [texte, PostScript]
• Sondage 1994 [texte, PostScript]

• Concours d'entrée 1997, épreuve écrite d'informatique, 3h:
  énoncé [PostScript, Dvi]

• Un tutorial HTML en francais
• HTML Quick Reference Manual