 | Programme d’études 2018-2019 | English | |
 | Séminaires de recherche en vérification | ||
Activité d'apprentissage à la Faculté des Sciences |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
|---|---|---|---|
| S-INFO-046 |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
|---|---|---|---|---|---|---|---|
| Français | Français | 0 | 0 | 0 | 0 | 0 | A |
Contenu de l'AA
Lecture approfondie d'articles scientifiques en rapport avec la vérification assistée par ordinateur
Supports principaux non reproductibles
Sans objet
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
Sans objet
Mode d'enseignement
- Mixte
Types d'activités
- Cours magistraux
- Conférences
- Préparations, travaux, recherches d'information
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre