LaBRI, UFR mathématiques et informatique, Université Bordeaux I
Tronc commun
Options choisies
Thèse de DEA
Liens
Programme Systèmes de réécritures de termes Logique Lambda calcul Support de cours Les termes en logique et en programmation
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 …
Travaux dirigés Listes d’entiers Support de cours Théories des types
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) …
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 …
