1. Accueil
  2. fr
  3. Master
  4. Master Informatique
  5. Parcours : Informatique et mathématiques discrètes (IMD)

Master Informatique
PARCOURS : INFORMATIQUE ET MATHÉMATIQUES DISCRÈTES (IMD)


Compétences à acquérir

  • 5SIN - Master Informatique
    • SIN5AE - Informatique et mathématiques discrètes
      •  M2IMD - M2 Informatique et mathématiques discrètes (externe)
        • SINCSAD - Semestre 3 Informatique et mathématiques discrètes
          • SINCX05 - Options IMD (15 ECTS à choisir)
            •  SMACUA5 - Introduction à la logique modale
            •  SMACUA6 - Modèles de calcul naturel - MOCANA
            •  SMACUA7 - Fondements de la PPC et SAT
            •  SMACUA8 - Théorie métrique des graphes
            •  SMACUA9 - Algorithmique distribuée
            •  SMACUB1 - Vérification : de la théorie à la pratique
            •  SMACUB2 - Logiques computationnelles
            •  SMACUB3 - Ensembles ordonnés en combinatoire
            •  SMACUB4 - Optimisation combinatoire
            •  SMACUB5 - Théorie des automates : extensions et applications
            •  SMACUB6 - Modélisation et simulation à événements discrets
            •  SMACUB7 - ASP : fondements théoriques, calcul et applications
            •  SMACUB8 - Sémantique dénotationnelle et logique linéaire
            •  SMACUB9 - Dynamique symbolique
            •  SMACUD1 - Topologie algébrique discrète – topologie algorithmique
            •  SMACUD2 - Logique catégorique d'ordre supérieur
            •  SMACUD3 - Réalisabilité classique
            •  SMACUD4 - Combinatoire des mots
            •  SMACUD5 - Théorie algorithmique des nombres
            •  SMACUD6 - Théorie de l'informat : algorithmique cryptographie & codage
            •  SMACUD7 - Introduction aux systèmes dynamiques, à la théorie ergodique
            •  SMACUD8 - Théorie de Ramsey
          • SMACUA2 - Algorithmique et complexité
          • SMACUA3 - Logique et automates
          •  SMACUA4 - Modèles calcul, systèmes dynamiques et théorie algorithmique
        • SINDSAD - Semestre 4 Informatique et mathématiques discrètes
          • SMADU32 - Logique et automates
          • SMADU33 - Initiation à la recherche IMD
          • SMADU40 - PPPE : communication scientifique en anglais
      • SIN41T - M1 Informatique
        • SINASAT - Semestre 1 M1 Informatique
          • SINAU01 - Anglais S1
          •  SINAU02 - Génie logiciel
          •  SINAU03 - Complexité
          • SINAU04 - Introduction à la sciences des données
          • SINAU05 - Programmation objet concurrente
          • SINAU06 - Réseaux
          • SINAU07 - Algorithmique et recherche opérationnelle
          • SINAU08 - Environnement et R&D
        • SINBS1T - Semestre 2
          • SINBU01 - Communication
          • SINBX01 - 6 crédits à choisir
            •  SINBU02 - Introduction au traitement automatique du langage
            • SINBU03 - Cryptographie
            • SINBU04 - Modélisation géométrique et maillages
            • SINBU05 - Intégration des données
            • SINBU06 - Calculabilité avancée
            • SINBU07 - Interface homme-machine
            • SINBU08 - Informatique et calcul quantique
            •  SINBU09 - Programmation des processeurs graphiques
            • SINBU17 - Programmation fonctionnelle
            • SINBU20 - Algorithmes à performance garantie
          • SINBX02 - 6 crédits à choisir en fonction du parcours
            • SINBU18 - Architecture Java Entreprise Edition et sécurité des appli.
              • SINB18A - Architecture JEE
              • SINB18B - Sécurité des applications
            • SINBU19 - Méth. numériques et probabilistes
              • SINB19A - Aspects probabilistes pour l'info.
              • SINB19B - Méthodes numériques pour l'info.
            • SINBU33 - Méthodes probabilistes pour l'info. et Architecture JEE
              • SINB18A - Architecture JEE
              • SINB19A - Aspects probabilistes pour l'info.
          • SINBX03 - 9 crédits à choisir en fonction du parcours
            • SINBSAA - Parcours FSI
              • SINBU03 - Cryptographie
              • SINBU22 - Fiabilité logicielle
              • SINBU23 - Analyse de programmes
            • SINBSAC - Parcours IAAA
              •  SINBU02 - Introduction au traitement automatique du langage
              •  SINBU26 - Intro. à l’apprentissage artificiel
              •  SINBU27 - Modélisation et résolution pour la décision
            • SINBSAD - Parcours IMD
              • SINBU06 - Calculabilité avancée
              • SINBU20 - Algorithmes à performance garantie
              • SINBU21 - Théorie des graphes avancée
            • SINBSAF - Parcours GIG
              • SINBU04 - Modélisation géométrique et maillages
              • SINBU24 - Programmation graphique
              • SINBU25 - Modélisation de surfaces 3D
            • SINBY06 - Parcours IDL
              • SINBU07 - Interface homme-machine
              • SINBU22 - Fiabilité logicielle
              • SINBU28 - Données post-relationnelles
            • SINBY07 - Parcours SID
              • SINBU05 - Intégration des données
              • SINBU28 - Données post-relationnelles
              • SINBU32 - Qualité et visualisation des données
          • SINBX04 - 6 crédits à choisir
            • SINBU29 - Travail d'étude et de recherche
            • SINBU30 - Stage

Liste des parcours

SÉLECTION EN MASTER 1
DÉPOSER UNE CANDIDATURE
Frais d'inscription


CONTACT ORIENTATION