PROGRAMMATION

Je suis en train de préparer une doc sur Diglog, pratique pour simuler des circuits électroniques. Des exemples d'applications, des TPs, ainsi que leurs corrections, impecablement bien faites par mes soins, apparaitront dans cette doc.

Malheuresement, comme je n'ai pas beaucoup de temps, le travail avance très lentement et je ne pense pas avoir fini avant cet été 2001.

- Poly "Architecture des Ordinateurs - Première Partie".
  (auteurs : C. Germain & D. Etiemble).   (ps, 628 Ko)
- Poly "Architecture des Ordinateurs - Deuxième Partie".
  (auteurs : C. Germain & D. Etiemble).   (ps, 844 Ko)
- Poly des énoncés de TD de licence, non corrigés.   (ps, 60 Ko)
- Enoncé de l'examen d'archi de janvier 2000.   (pdf, 491 Ko)
- Devoir d'archi de décembre 2000.
      L'énoncé.   (pdf, 102 Ko)
      Les programmes utiles pour la partie Caches.   (prog3x_c.zip, 3 Ko)
      Mon rapport (16.5/20).   (pdf, 31 Ko)

- Poly "Logique pour l'Informatique" (S. Cerrito).   (ps, 146 Ko)
- Enoncés de 6 TDs de logique, non corrigés (sauf exo 4 TD 3), année 2000-2001.   (ps, 139 Ko)
- La correction (par un prof) en Caml, de l'exercice 4 du TD 3.   (ml, 2 Ko)
- Partiel de Novembre 1999 corrigé.   (ps, 92 Ko)
- Partiel de Octobre 2000 corrigé.   (ps, 138 Ko)
- Examens, non corrigés, janvier 2000 et septembre 2000.   (ps, 52 Ko) & (ps, 92 Ko)
- Examen corrigé, janvier 2001.   (ps, 149 Ko)
- Devoir de logique 2000.
      L'énoncé.   (pdf, 92 Ko)
      Les parsers Caml.   (caml_parser.tar, 20 Ko)
      La correction par un prof (en Caml).   (correc.tar, 110 Ko)

- Les TDs 1 à 10 non corrigés, année 2000-2001.   (ps, 129 Ko)
- Enoncé et corrigé du partiel d'algo d'octobre 2000.   (ps, 40 Ko)
- Enoncés d'examens non corrigés (01/97, 09/97, 01/98, 09/98, 01/99, 09/99, 01/00).   (ps, 105 Ko)
- Enoncé devoir 1, septembre 2000.   (html)
- Enoncé devoir 2, octobre 2000.   (ps, 29 Ko)
- Enoncé devoir 3, novembre 2000.   (ps, 70 Ko)
- Un corrigé, fait par des profs, sur certains points des différents TDs et sur les devoirs 1 et 2
  (listes chaînées, polynômes, arbres binaires de recherche).   (ps, 27 Ko)

- Cliquez ICI pour ouvrir la page contenant tous les énoncés de TD avec mes notes manuscrites. - Un support de cours manuscrit (résumé) de 4 pages.   (pdf, 509 Ko)

Voici le plan de ce document :

I-Résolution de problemes par recherche dans un espace d'états

1-Introduction
2-Représentation formelle du problème
3-Résolution du problème
4-Propriétés par rapport auxquelles les algorithmes sont évalués

II-Algorithmes non informés d'exploration de graphes d'états

1-Algorithme de recherche en largeur d'abord
2-Algorithme de coût uniforme
3-Algorithme en profondeur d'abord
4-Algorithme de recherche à profondeur incrémentale (Iterative Deepening)

III-Algorithmes informés d'exploration d'espace d'état (heuristiques)

1-Introduction
2-Fonction d'évaluation pour un même problème
3-Algorithme du meilleur d'abord
4-Algorithme A*
5-Preuve d'admissibilité d'A*
6-Analyse d'A*
7-Amélioration d'A* (IMA*, SMA*)

IV-Jeux avec adversaires : modélisation et algorithmes

1-Modélisation par un arbre de jeu
2-Recherche d'une stratégie gagnante
3-Recherche "heuristique" du meilleur coup à jouer (MinMax)
4-L'algorithme Alpha-Beta

- Les énoncés des TDs, non corrigés,
   (sauf le TD 6 sur la synchronisation et l'exo 3 du TD 7 sur les sémaphores), année 2000-2001.
   (tds.zip, ps, 163 Ko) ; (td6.ps, 59 Ko) ; (td7exo3.ps, 127 Ko)
- Devoir sur des Feux Tricolores de décembre 1999, corrigé par un prof (en Java).
   (devoir99.ps, 74 Ko) & (correc99.tar.gz, 3 Ko)
- Examen de système, non corrigé, janvier 2000.   (pdf, 118 Ko)
- Devoir sur e-bourse, décembre 2000.
      L'énoncé.   (ps, 66 Ko)
      La classe Sémaphore.   (semaphore.java.txt, 1 Ko)
      Mon rapport et ma correction en Java (19/20) et celle d'un prof avec ses consignes.
      (rapport.pdf, 185 Ko) & (systeme.zip, 18 Ko) & (e-bourse.tar.gz, 5 Ko) & (consignes.txt, 1 Ko)