Revenir à Formation

DEA d’ informatique fondamentale

LaBRI, UFR mathématiques et informatique, Université Bordeaux I

Tronc commun

Options choisies

Thèse de DEA

Liens

Méthodes formelles en informatique fondamentale

Programme Systèmes de réécritures de termes Logique Lambda calcul Support de cours Les termes en logique et en programmation

Combinatoire et algorithmique

Programme Permutations, analyse des algorithmes de tris Cycles des permutations Groupe symétrique Tableaux de Young Les systèmes de parenthèses. Grammaires et séries génératrices Preuve de la formule de Lagrange Cartes combinatoires Algorithmes et problèmes algorithmiques sur les graphes Problèmes sur les graphes résolubles en temps polynomial Annales d’examens Mars 1997 Juin 1996 (corrigé) Mai 1995 …

Programmation symbolique

Travaux dirigés Listes d’entiers Support de cours Théories des types

Infographie: fondements et applications

Bibliographie J.D. Foley, A. Van Dam, S.K. Feiner, J.F.Hughes, & R.L. Philips : Introduction à l’infographie, Addison-Wesley A.S. Glassner : Principles of digital image synthesis, Morgan Kaufman Travaux Une recherche de liens sur la réalité virtuelle Une recherche bibliographie sur les effets et rendus artistiques d’images par des techniques numériques Annales d’examens Mars 1997 (fondements) …

Sujets de thèses de DEA 1997-98

  Sujet 01: Algorithmes sur les groupes de permutations sur machines parallèles : application au cube de Rubik. Sujet 02: Algorithmes approchés pour la déterminisation du genre d’un graphe. Sujet 03: Monoïde de commutations et réseaux de tri. Sujet 04: Amélioration des approximations Monte Carlo du nombre d’objets dans une classe. Sujet 05: Temps de …