Master Informatique 1ère année

Paradigmes de programmation

Master d'Informatique, première année
Université de Nice-Sophia Antipolis
2007-2008

Cours général

Chaque chapitre apparaît sous deux formes, la première destinée à être projetée, la seconde pour l'impression.

Les feuilles de travaux dirigés regroupent parfois plusieurs chapitres.

Arbres généalogiques

Cours du langage Icon

Anciens sujets d'examen

  1. Sujet de 2004
  2. Sujet de 2005

Le projet

Description des principes

Les sujets

  1. Sujet 1 de Laurence Pierre (Satisfiabilité dans le calcul propositionnel)
  2. Sujet 2 de Laurence Pierre (Moteur de système de réécriture)
  3. Sujet 1 de Jacques Farré (Un noyau de tableur)
  4. Sujet 2 de Jacques Farré (Master mind)
  5. Sujet 1 d'Olivier Lecarme (Démonstrateur de tris)
  6. Sujet 2 d'Olivier Lecarme (Interprète pour une version minimale de Prolog)
 
23/10/2007  Valid XHTML 1.0 Strict   Valid CSS !