Revenir à Formation

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 …

Architectures et systèmes d’ exploitation

Programme Structure générale d’un ordinateur: machine de Von Neumann, programme élémentaire, fonctionnement d’un microprocesseur, la mémoire centrale, les interfaces d’entrée/sortie, les périphériques, les interruptions. Système d’exploitation: notion de processus, gestion des processus, ordonnancement des processus, espace virtuel d’un processus, gestion de la mémoire centrale, gestion des entrées/sorties, canal d’entrées/sorties, gestion d’un système de fichiers, protection, …

Ingénierie du calcul / calcul scientifique

Programme Généralités: problèmes spécifiques de la programmation scientifique, outils de la programmation scientifique avec MACSYMA et MAPPLE. Algorithmique numérique: résolutions de systèmes linéaires et non linéaires, détermination de vecteurs et valeurs propres, interpolation et approximation d’une fonction, intégration et dérivation numérique, résolution de systèmes différentiels. Statistiques: estimation statistique, méthodes de décision statistiques, modèles statistiques. Bibliographie …

Théorie des graphes

Programme Théorie des graphes: définitions et propriétés élémentaires, chemins, chaines et connexité, flots, couplages, recouvrements, graphes planaires, coloriages. Programmation dynamique: certaine, incertaine et en horizon limité. Programmation linéaire en nombre entiers: le problème du sac à dos simple et multidimensionnel, méthodes heuristiques et par approximations. Programmation linéaire: méthode du simplexe, dualité, écarts complémentaires, algorithme dual, …