Aller au menu
Aller au contenu
Rechercher dans
Our sites
Current site
Nos sites
Grenoble INP - UGA
Écoles d'ingénieurs et de management
Grenoble INP - Ense3
Grenoble INP - Ensimag
Grenoble INP - Esisar
Grenoble INP - Génie industriel
Grenoble INP - Pagora
Grenoble INP - Phelma
Polytech Grenoble - INP
Grenoble IAE - INP
La Prépa des INP
Laboratoires
Recruteurs
Formation Pro
Grenoble INP - Alumni
Fondation Grenoble INP
e-Services
Annuaire
Accès - Itinéraires
Organisation
Services authentifiés
Webmail Etudiants
Webmail Personnels
Intranet
Portail
Espaces Collaboratifs
Cours en ligne
Career Center
Connexion
Grenoble INP - UGA
L'école
Rejoignez l'Ensimag !
Classements
Alumni
Actualités
Evénements
Revue de Presse
Ecosystème grenoblois
Responsabilite sociétale et environnementale
Les recrutements en cours
Téléchargez nos brochures
Contacts
Formation
Admissions
Cursus ingénieur
Ingénieur par apprentissage
Masters / Mastère spécialisé
Doubles diplômes
Pédagogie et FabLab
Inscription
Recherche
Laboratoires associés
Formation et Recherche
Réseaux et Pôles d'excellence
International
Partir @ l'étranger
Venir @ l'Ensimag
Parcours internationaux
Partenaires internationaux
Crédits ECTS
Contacts RI
Entreprises
Espace recruteur
Devenir partenaire Ensimag
Evénements entreprises
Taxe d'apprentissage 2023
Junior Entreprise Ensimag
Vie étudiante
Vie associative
Sport à l'Ensimag
Services aux étudiants
Grenoble INP - UGA
Écoles d'ingénieurs et de management
Grenoble INP - Ense3
Grenoble INP - Ensimag
Grenoble INP - Esisar
Grenoble INP - Génie industriel
Grenoble INP - Pagora
Grenoble INP - Phelma
Polytech Grenoble - INP
Grenoble IAE - INP
La Prépa des INP
Laboratoires
Recruteurs
Formation Pro
Grenoble INP - Alumni
Fondation Grenoble INP
Rechercher dans
Our sites
Current site
L'école du numérique
L'école
L'école
Rejoignez l'Ensimag !
Classements
Alumni
Actualités
Evénements
Revue de Presse
Ecosystème grenoblois
Responsabilite sociétale et environnementale
Les recrutements en cours
Téléchargez nos brochures
Contacts
Formation
Formation
Admissions
Cursus ingénieur
Ingénieur par apprentissage
Masters / Mastère spécialisé
Doubles diplômes
Pédagogie et FabLab
Inscription
Recherche
Recherche
Laboratoires associés
Formation et Recherche
Réseaux et Pôles d'excellence
International
International
Partir @ l'étranger
Venir @ l'Ensimag
Parcours internationaux
Partenaires internationaux
Crédits ECTS
Contacts RI
Entreprises
Entreprises
Espace recruteur
Devenir partenaire Ensimag
Evénements entreprises
Taxe d'apprentissage 2023
Junior Entreprise Ensimag
Vie étudiante
Vie étudiante
Vie associative
Sport à l'Ensimag
Services aux étudiants
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Vous êtes
Futur(e) étudiant(e)
Étudiant(e)
Diplômé(e)
Entreprise
Média
Filière de CPGE MPI
>
Formation
>
Cursus ingénieur
Theoretical computer science
Team
->
Theoretical computer science
First year (bachelor)
- 3MMTL2:Language theory 2
3.0
39.0
- 3MMTL1:Formal language theory 1
3.0
76.5
Second year (master 1)
- 4MMFLI:Logic bases for computer science
3.0
35.5
Third year (master 2)
- 5MMMVSC7:Models and languages for model checking
1.5
18.0
- 5MMVSE7:Validation of embedded systems
1.5
18.0
Date of update December 6, 2017
Formation
Choix rubriques…
Admissions
Cursus ingénieur
Ingénieur par apprentissage
Masters / Mastère spécialisé
ORCO
MOSIG
CYSEC
MSIAM
CODAS
RIE
Mastère spécialisé Big Data
Doubles diplômes
Pédagogie et FabLab
Inscription
Version française
Voir la version française de cette page
Contacts
Plan du site
Crédits
Infos légales
Plan d'accès
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
www.grenoble-inp.fr/
suivez-nous
L'école
L'école
Rejoignez l'Ensimag !
Classements
Alumni
Actualités
Evénements
Revue de Presse
Ecosystème grenoblois
Responsabilite sociétale et environnementale
Les recrutements en cours
Téléchargez nos brochures
Contacts
Formation
Formation
Admissions
Cursus ingénieur
Ingénieur par apprentissage
Masters / Mastère spécialisé
Doubles diplômes
Pédagogie et FabLab
Inscription
Recherche
Recherche
Laboratoires associés
Formation et Recherche
Réseaux et Pôles d'excellence
International
International
Partir @ l'étranger
Venir @ l'Ensimag
Parcours internationaux
Partenaires internationaux
Crédits ECTS
Contacts RI
Entreprises
Entreprises
Espace recruteur
Devenir partenaire Ensimag
Evénements entreprises
Taxe d'apprentissage 2023
Junior Entreprise Ensimag
Vie étudiante
Vie étudiante
Vie associative
Sport à l'Ensimag
Services aux étudiants
Université Grenoble Alpes