FR
English
Connexion
Utiliser mon compte école
Je me connecte
Utiliser un compte provisoire
Valider
Error:
Accueil
Les formations
Catalogue 2023 - 2024
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Titre d’Ingénieur diplômé de l’École polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
MScT-AI-ViC - MScT-Artificial Intelligence and Advanced Visual Computing
MScT-CTD - MScT-Cybersecurity : Threats and Defenses
MScT-DDDF - MScT-Double Degree Data and Finance (DDDF)
MScT-DEPP - MScT-Data and Economics for Public Policy (DEPP)
MScT-DSB - MScT-Data Science for Business
MScT-EDACF - MScT-Economics, Data Analytics and Corporate Finance
MScT-EESM - MScT-Environmental Engineering and Sustainability Management
MScT-ESCLiP - MScT-Economics for Smart Cities and Climate Policy
MScT-IOT - MScT-Internet of Things : Innovation and Management Program (IoT)
MScT-STEEM - MScT-Energy Environment : Science Technology & Management
Master
M1APPMATH - M1 Mathématiques Appliquées et Statistiques
M1BIOHEA - M1 Biologie et Santé
M1CHEINT - M1 Chimie et Interfaces
M1CPS - M1 Système Cyber Physique
M1IES - M1 Innovation, Entreprise et Société
M1MATHJHADA - M1 Mathématiques Jacques Hadamard
M1MECHA - M1 Mécanique
M1MIE - M1 en Economie
M1MPRI - M1 Fondements de l'Informatique MPRI
M1PHYSICS - M1 Physique
M2AAG - M2 Analyse, Arithmétique, Géométrie
M2BIOHEA - M2 Biologie et Santé
M2BIOMECA - M2 Biomécanique et Ingéniérie Biomédical
M2CFP - M2 Concepts en Physique Fondamentale
M2CPS - M2 Système Cyber Physique
M2DS - M2 Data Science
M2FLUIDS - M2 Mécanique des Fluides
M2GI - M2 Grands Instruments
M2HEP - M2 Physique des Hautes Energies
M2MARES - M2 Physique par Recherche
M2MATCHEINT - M2 Chimie des Matériaux et Interfaces
M2MATHMOD - M2 Modélisation Mathématique
M2MECENCLI - M2 Génie Mécanique pour les Cliniciens
M2MOCHI - M2 Chimie Moléculaire et Interfaces
M2MPRI - M2 Fondements de l'Informatique MPRI
M2MSV - M2 Mathématiques pour les Sciences du Vivant
M2OPTIM - M2 Optimisation
M2PIC - M2 Projet, Innovation, Conception
M2PLASPHYFUS - M2 Physique des Plasmas et de la Fusion
M2PROBFIN - M2 Probabilités et Finance
M2QNSLMT - M2 Quantique, Lumière, Matériaux et Nanosciences
M2QUANTDEV - M2 Dispositifs Quantiques
M2SMNO - M2 Science des Matériaux et des Nano-Objets
M2SOLIDS - M2 Mécanique des Solides
M2WAPE - M2 Eau, Pollution de l'Air et Energies
Mastère spécialisé (Master)
MS ETRE - MS Energies Renouvelables : Technologie et Entrepreneuriat (Master)
Programme d'échange
EuroteQ - Diplôme EuroteQ
Catalogue 2022 - 2023
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
MScT-AI-ViC - MScT-Artificial Intelligence and Advanced Visual Computing
MScT-CTD - MScT-Cybersecurity : Threats and Defenses
MScT-DSB - MScT-Data Science for Business
MScT-EDACF - MScT-Economics, Data Analytics and Corporate Finance
MScT-EESM - MScT-Environmental Engineering and Sustainability Management
MScT-ESCLiP - MScT-Economics for Smart Cities and Climate Policy
MScT-IOT - MScT-Internet of Things : Innovation and Management Program (IoT)
MScT-STEEM - MScT-Energy Environment : Science Technology & Management
Master
M1APPMATH - M1 Applied Mathematics and statistics
M1CHEINT - M1 Chemistry and Interfaces
M1CPS - M1 CPS - Cyber Physical Systems
M1HEP - M1 High Energy Physics
M1MATHJHADA - M1 Mathematiques Jacques Hadamard
M1MECHA - M1 Mechanics
M1MIE - M1 MIE - Master in Economics
M2BIOHEA - M2 Biology and Health
M2BIOMECA - M2 Biomeca - Biomechanics
M2CPS - M2 Cyber Physical System
M2DATAAI - M2 Data AI - Data and Artificial Intelligence
M2DS - M2 Data Sciences
M2ENERG - M2 Énergie
M2FLUIDS - M2 Fluids - Fluid Mechanics
M2HEP - M2 High Energy physics
M2ICS - M2 Integration, Circuits and Systems
M2MATHMOD - M2 Mathematical Modelling
M2MECENCLI - M2 Mecencli - Mechanical Engineering for Clinicians
M2MICAS - M2 Machine Learning, Communications and Security
M2MOCHI - M2 Molecular Chemistry and Interfaces
M2MSV - M2 MSV - Mathématiques pour les Sciences du Vivant
M2OPTIM - M2 Optimisation
M2PIC - M2 Projet Innovation Conception
M2QNSLMT - M2 Quantum, Light, Materials and Nanosciences
M2SOLIDS - M2 Solids - Solid Mechanics
M2WAPE - M2 Water, Air, Pollution and Energy
MSc Entrepreneurs - MSc X-HEC Entrepreneurs
Mastère spécialisé (Master)
M2REST - Renewable Energy, Science and Technology
MS ETRE - MS Energies Renouvelables : Technologies & Entrepreneuriat (Master)
Non Diplomant
ND - Non Diplomant
Programme d'échange
EuroteQ - Diplôme EuroteQ
PEI - Echanges PEI
Catalogue 2021 - 2022
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
MScT-AI-ViC - Artificial Intelligence and Advanced Visual Computing
MScT-CTD - Cybersecurity : Threats and Defenses
MScT-DSB - Data Science for Business
MScT-EDACF - Economics, Data Analytics and Corporate Finance
MScT-EESM - Environmental Engineering and Sustainability Management
MScT-ESCLiP - Economics for Smart Cities and Climate Policy
MScT-IOT - Internet of Things : Innovation and Management Program (IoT)
MScT-STEEM - Energy Environment : Science Technology & Management
Master
M1APPMATH - M1 - Applied Mathematics and statistics
M1BM - M1 Biomechanics
M1DATAAI - M1 Data AI - Data and Artificial Intelligence
M1ECO - M1 Economie
M1ENERG - Master 1 Énergie
M1MATHJHADA - M1 - Mathematiques Jacques Hadamard
M1MIE - M1 MiE - Master in Economics
M2BIOMECA - M2 Biomeca - Biomechanics
M2BM - M2 Biomechanics
M2CPS - Cyber Physical System
M2DS - Data Sciences
M2ENERG - Master 2 Énergie
M2FLUIDS - M2 Fluids - Fluid Mechanics
M2IGD - M2 IGD - Interaction, Graphic and Design
M2MDA - M2 MdA - Mathématiques de l'Aléatoire
M2MSV - M2 MSV - Mathématiques pour les Sciences du Vivant
M2PIC - Projet Innovation Conception
Programme d'échange
PEI - Echanges PEI
Catalogue 2020 - 2021
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
MScT-AIAVC - Artificial Intelligence and Advanced Visual Computing
MScT-CTD - Cybersecurity : Threats and Defenses
MScT-DSB - Data Science for Business
MScT-ECOSEM - Environmental Engineering and Sustainability Management
MScT-EDACF - Economics, Data Analytics and Corporate Finance
MScT-IOT - Internet of Things : Innovation and Management Program (IoT)
MScT-SCUP - Economics for Smart Cities and Climate Policy
MScT-STEEM - Energy Environment : Science Technology & Management
Master
M1APPMATH - M1 - Applied Mathematics and statistics
M1CPS - M1 CPS - Cyber Physical Systems
M1CSN - M1 CSN - Computer Science for Networks
M1CYBER - M1 Cyber - Cybersecurity
M1HPDA - M1 HPDA - High Performance Data Analytics
M1I - M1 Informatique - Voie Jacques Herbrand - X
M1IGD - M1 IGD - Interaction, Graphic and Design
M1INTTRACPHY - M1 - International Track in Physics
M1MAP - M1 Mathématiques et Applications - Voie Jacques Hadamard - École Polytechnique
M1MATHAPP - M1 - Mathématiques Appliquées
M1MPRI - M1 MPRI - Foudations of Computer Science
M1P - M1 Physique - Voie Irène Joliot Curie - X
M1PHYSICS - M1 - Physics
M1SCTECHNRJ - M1 - Sciences and Technologies for Energy
M2BIOMECA - M2 Biomeca - Biomechanics
M2CLEAR - CLimat, Environnement, Applications et Recherche - Water, Air, Pollution and Energy
M2CPS - Cyber Physical System
M2CYBER - M2 Cyber - Cybersecurity
M2DS - Data Sciences
M2HPDA - M2 HPDA - High Performance Data Analytics
M2IGD - M2 IGD - Interaction, Graphic and Design
M2MPRI - M2 MPRI - Foudations of Computer Science
M2MPRO - M2 MPRO - Operation Research
M2PDS - M2 PDS - Parallel and Distributed Systems
M2PIC - Projet Innovation Conception
Non Diplomant
ND - Non Diplomant
Programme d'échange
PEI - Echanges PEI
Catalogue 2019 - 2020
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
GD-AIM - Artificial Intelligence and Advanced Visual Computing
GD-CYBSEC - Cybersecurity : Threats and Defenses
GD-DSB - Data Science for Business
GD-EDCF - Economics, Data Analytics and Corporate Finance
GD-EESTM - Energy Environment : Science Technology & Management
GD-ESEM - Ecotechnologies for Sustainability & Environment Management
GD-IOT - Internet of Things : Innovation and Management Program (IoT)
GD-SCUP - Smart Cities and Urban Policy
Master
M1AME - M1 Advanced materials engineering
M1BI - M1 Bio-informatique (Voie Rosalind Franklin)
M1BS - M1 Biologie-Santé - Voie Boris Ephrussi-X
M1C - M1 Chimie - Voie Fréderic Joliot-Curie - Ecole Polytechnique
M1ECO - M1 Economie
M1HEP - M1 High Energy Physics
M1I - M1 Informatique - Voie Jacques Herbrand - X
M1IESVIT - M1 Innovation, Entreprise, et Société - Voie Innovation technologique
M1MAP - M1 Mathématiques et Applications - Voie Jacques Hadamard - École Polytechnique
M1P - M1 Physique - Voie Irène Joliot Curie - X
M1STEPE - M1 STEPE - Sciences pour les défis de l'environnement/Sciences for environmentals challenges
M2AME - Advanced materials engineering
M2BE - Biomechanical Engineering
M2CLEAR - CLimat, Environnement, Applications et Recherche - Water, Air, Pollution and Energy
M2CMASIC - Conception, Modélisation et Architecture des Systèmes Industriels Complexes
M2DQ - Dispositif quantique
M2DS - Data Sciences
M2FM - Fluid Mechanics
M2HEP - High Energy physics
M2ITIE - Innovation Technologique : ingénierie et entrepreneuriat
M2M4S - Modélisation Multiphysique Multiéchelle des Matériaux et des Structures
M2MAMSV - Master 2 Mathématiques et Applications - Mathématiques pour les Sciences du Vivant
M2MFSF - Mathématiques Financières : Statistique et Finance
M2MM - Mathématiques de la modélisation
M2MOCHI - Molecular Chemistry and Interfaces
M2OPT - Optimisation
M2PIC - Projet Innovation Conception
M2PICA - Projet Innovation Conception - Alternance
M2PPF - Physique des Plasmas et de la Fusion
M2PROBAFI - Mathématiques Financières : Probabilités et Finance
M2REST - Renewable Energy, Science and Technology
M2SMNO - Sciences des Matériaux et des nano-objets
M2TRADD - Transport et Développement Durable - TRADD
MBIOENT - Master Bio-entrepreneur
Non Diplomant
ND - Non Diplomant
Catalogue 2018 - 2019
Bachelor
BS - Bachelor of Science de l'Ecole polytechnique
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole polytechnique
Diplôme de formation gradué de l'Ecole Polytechnique -MSc&T
GD-AIAVC - Artificial Intelligence and Advanced Visual Computing
GD-CTD - Cybersecurity : Threats & Defenses
GD-DSB - Data Science for Business
GD-ECOSEM - Ecotechnologies for Sustainability & Environment Management
GD-EDACF - Economics, Data Analytics and Corporate Finance
GD-IOT - Internet of Things : Innovation and Management Program (IoT)
GD-SCUP - Smart Cities and Urban Policy
GD-STEEM - Energy Environment : Science Technology & Management
Catalogue 2017 - 2018
Cycle Ingénieur
X - Diplôme d'ingénieur de l'Ecole Polytechnique
v2.11.0 (5509)
Accueil
Cours scientifique
-
CSE308 :
Formal methods and model checking
Informations générales
Pré-requis
Acquisition de l'UE
Descriptif & programme
Format des notes
Numérique sur 20
Littérale/grade américain
