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
