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

Master Mathématiques et applications
PARCOURS : INFORMATIQUE ET MATHÉMATIQUES DISCRÈTES (IMD)


Compétences à acquérir


Stages et projets encadrés


Modalités pédagogiques particulières


Métiers visés


Domaines NSF

  • 5SMA - Master Mathématiques et applications
    • SMA5AL - Informatique et mathématiques discrètes
      •  M2IMD - M2 Informatique et mathématiques discrètes
        • 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
      • SMA42T - M1 Tronc-commun (présentiel)
        • SMAAS1T - Semestre 1 Tronc commun (présentiel)
          • SMAAU01 - Anglais 1
          • SMAAU02 - Algèbre et géométrie
          • SMAAU03 - Analyse fonctionnelle et analyse de Fourier
          • SMAAU04 - Mesure, intégration, probabilités
          • SMAAU05 - Informatique 1
          • SMAAU06 - PPPE : Communication scientifique, anglais 1
        • SMABS1T - Semestre 2 Tronc commun (présentiel)
          • SMABU01 - Anglais 2
          • SMABU02 - Informatique 2
          • SMABU03 - PPPE : Communication scientifique, anglais 2
          • SMABU03 - Travail d'étude et de recherche
          • SMABX01 - Options de M1
            • SMABU05 - Algèbre et arithmétique
            • SMABU06 - Géométrie différentielle et topologie
            • SMABU07 - Logique et calculabilité
            • SMABU08 - Analyse complexe
            •  SMABU09 - EDP et analyse numérique
            • SMABU19 - Processus stochastiques

Liste des parcours


Informations diverses

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


CONTACT ORIENTATION