Accueil

Licence Informatique

Master Informatique
1ère année

Licence SV
1ère année

Contact

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.

1. • projection (191 Ko)
   • impression (173 Ko)
2. • projection (230 Ko)
   • impression (212 Ko)
3. • projection (176 Ko)
   • impression (166 Ko)
4. • projection (261 Ko)
   • impression (238 Ko)
5. • projection (418 Ko)
   • impression (368 Ko)
6. • projection (237 Ko)
   • impression (215 Ko)
7. • projection (205 Ko)
   • impression (185 Ko)

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

• Chapitres 1 et 2

Arbres généalogiques

• Un arbre un peu ancien
• Arbre très simple
• Arbre plus complet
• Arbre très à jour
• Arbre décoratif
• Le même en plus petit
• Arbre illisible et commercial

Cours du langage Icon

• cours (1,4 Mo)
• manuel officiel (1,8 mo)
• le même en taille réduite (1,6 Mo)
• manuel des extensions graphiques (35 Mo)
• le même en taille réduite (35 Mo)
• manuel d'implémentation (14 Mo)
• le même en taille réduite (13 Mo)
• manuel d'Unicon (2,8 Mo)

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)