Informatique Fondamentale

Semestre 1

Semestre 2

Crédits

UE

Crédits

UE

6

Génie Logiciel

6

Logique, déduction et programmation

6

Complexité

6

Recherche opérationnelle

6

Réseaux

6

Programmation parallèle et distribuée

6

2 options (enseignées à Luminy) parmi : XML et langages à balises / Programmation en Logique / Activités physiques et sportives

6

Algorithmes à performance garantie OU 2 options parmi (enseignées à Luminy) : Fondamentaux pour l'ingénierie des langues / Implémentation et optimisation de Bases de Données / Intelligence artificielle

6

1 option parmi (enseignée à Château Gombert) : Technologies XML / Outils de l'Internet

6

1 option parmi (enseignée à Château Gombert) : Systèmes Embarqués / Introduction à l'apprentissage automatique / Ingénierie des Bases de Données

6

Anglais

6

Anglais

6

Projet informatique OU Stage de 2 mois

MASTER 2

Semestre 3

Semestre 4

Crédits

UE

Crédits

UE

6

Informatique fondamentale A, Algorithmes et Complexité

3

Communication scientifique

6

Informatique fondamentale B, Programmation et Logique

27

Stage en laboratoire

4 options à choisir dans un thème et 2 dans un autre

6 ou 12

Thème « Bases de données et Apprentissage » : Initiation à la fouille de données II / Entrepôts de données / Apprentissage automatique numérique / Fouille de données avancée / Text Mining - Web Mining

6 ou 12

Thème « Combinatoire et Recherche Opérationnelle » : Structures discrètes et algorithmique / Programmation linéaire et ses applications algorithmiques / Géométrie discrète / Optimisation combinatoire et programmation en nombres entiers

6 ou 12

Thème « Compréhension Automatique du Langage naturel » : Connaissances linguistiques fondamentales / Formalismes linguistiques et outils / Sémantique formelle / Méthodes probabilistes

6 ou 12

Thème « Logique et Complexité » : Modèles de calcul et calculabilité / Logiques non-classiques / Automates cellulaires et complexité / Pavages et calcul

6 ou 12

Thème « Modélisation et vérification » : Méthodes formelles / Sécurité Internet et réseau / Fiabilité logicielle II / Modélisation et vérification avancée

6 ou 12

Thème « Bio-informatique et Math » : Algorithmique des chaînes de caractères / Classification et Phylogénie / Modèles markoviens / Modélisation dynamique des réseaux biologiques