Revenir à Licence d’ informatique

Algorithmique et structures de données

Programme

  • Structure de données: listes, piles, files, spécification d’une structure de données, théorèmes de représentation, arbres, structure de FIND-UNION.
  • Vérification de programme: langage formel et sémantique, satisfaisabilité et validité, correction de programmes, invariant de boucle, indécidabilité.
  • Algorithmes: algorithmes de tri, de géométrie, de pattern-matching, probabilistes, de cryptologie.
  • Méthodes de programmation par objets: sémantique, héritage, méthodes virtuelles, coroutines, traitement d’exceptions, processus.
  • Notions d’homomorphisme et d’isomorphisme, complexités temporelles et spatiales, expressions régulières, automates finis, calculabilité.

Bibliographie

  • Algorithmes en langage C, R. Sedgewick, [InterEditions]
  • Eléments d’algorithmique, D. Beauquier, J. Berstel, P. Chrétienne, [Masson]
  • Introduction à l’algorithmique, Th. Cormen, Ch. Leiserson et R. Rivest, [Dunod]

Wikipedia