Programme d’études | English | ||
Séminaires de recherche en vérification | |||
Unité d’enseignement du programme de Master en sciences informatiques , à finalité approfondie à la Faculté des Sciences |
Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
---|---|---|---|---|
US-M2-INFOFA-009-M | UE optionnelle | BRUYERE Véronique | S829 - Informatique théorique |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
---|---|---|---|---|---|---|---|---|---|
| Français | 0 | 0 | 0 | 0 | 0 | 10.00 | 100.00 |
Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
---|---|---|---|---|---|---|---|---|
S-INFO-046 | Séminaires de recherche en vérification | 0 | 0 | 0 | 0 | 0 | A | 100.00% |
Unité d'enseignement |
---|
Objectifs par rapport aux acquis d'apprentissage du programme
Acquis d'apprentissage UE
Initiation à la recherche dans le domaine de la vérification assistée par ordinateur
Contenu de l'UE
Lecture approfondie d'articles scientifiques en rapport avec la vérification assistée par ordinateur
Compétences préalables
Avoir une connaissance profonde en informatique et/ou en mathématique. Avoir un goût prononcé pour la recherche
Types d'évaluations Q1 pour l'UE
Commentaire sur les évaluations Q1 de l'UE
Sans objet
Types d'évaluations Q2 pour l'UE
Commentaire sur les évaluations Q2 de l'UE
Présentation et travaux 100%
Types d'évaluation Q3 pour l'UE
Commentaire sur les évaluations Q3 de l'UE
Présentation et travaux 100%
Commentaire sur les évaluations rattr. Q1 de l'UE
Sans objet
Types d'activités
AA | Types d'activités |
---|---|
S-INFO-046 |
|
Mode d'enseignement
AA | Mode d'enseignement |
---|---|
S-INFO-046 |
|
Supports principaux
AA | |
---|---|
S-INFO-046 |
Supports principaux non reproductibles
AA | Supports principaux non reproductibles |
---|---|
S-INFO-046 | Sans objet |
Supports complémentaires
AA | |
---|---|
S-INFO-046 |
Supports complémentaires non reproductibles
AA | Support complémentaires non reproductibles |
---|---|
S-INFO-046 | Sans objet |
Autres références conseillées
AA | Autres références conseillées |
---|---|
S-INFO-046 | Sans objet |
Reports des notes d'AA d'une année à l'autre
AA | Reports des notes d'AA d'une année à l'autre |
---|---|
S-INFO-046 | Autorisé |