====== Premier semestre ======

===== Cours qu'on a pas eu =====

A la fin de cette première année, on peut constater qu'on nous a parlé d'ordres partiels, de point fixes, de weakest preconditions, de treillis de Gallois, et certainementent d'autres sujets qu'on aurait mieux compris si on avait eu un cour en [[math:ordered_sets|treillis et ordres]] avant.

===== Cours qu'on a eu =====


  * vers le programme du [[semestre_2|deuxième semestre]]

^ Lundi | 13:30 | 16:30 | [[Compilation]] | M. Violard |
^ Mardi | 8:30 | 10:30 | [[Complexité et calculabilité]] | M. Schreck |
^  | 10:35 | 12:35 | [[FAIN]] | Mme. Bechman et M. Tajine |
^ Merc | 13:00 | 15:00 | [[Algorithmes distribués]] | M. Gançarski |
^  | 15:00 | 17:00 | [[compilation#td| Compilation - TD]] |  |
^  | 18:00 | 20:00 | [[Ingénierie de la synthèse des constats]]\\ [[http://univr-cms.u-strasbg.fr/depotcel/DepotCel/514/ueop0910s1/UE-OP-IAD-Jean-Paul_Villette_oct09.pdf| le polycop du cours de cette année]]\\ [[http://coursenligne.u-strasbg.fr/pages.jsp?idTheme=3139&idsite=514&idRub=1033&rubSel=1033|Accueil]]| M. Villette((PEGE 015, à l'Esplanade)) |
^ Jeudi | 8:30 | 10:25 | [[compilation#td|Compilation - TP]] |  |
^  | 10:35 | 12:35 | [[FAIN]] TD| M. Daurat (Alain) |
^  | 14:00 | 16:00 | Séminaires |  |
^  | 16:00 | 18:00 | Rattrapages les <del>24/09,</del> \\ 15/10 (EDID),\\ 22/10 (Extract. Connaissances), et\\ 12/11 (Fouilles)\\ 26/11 (Algo Dist) et 3/12 (AlgoDist) | Divers |
^ Vendr | 8:30 | 10:30 | [[Fouille de Données]] | M. Gançarski |
^  | 10:30 | 12:30 | [[EDID| Entrepôts de données et informatique décisionnelle]] | M. Lachiche |
^  | 14:00 | 16:00 | [[EC| Extraction de connaissances]] | Mmes. Le Ber et Braud |


----