Programme d’études 2019-2020 | English | ||
Logique formelle | |||
Activité d'apprentissage |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
---|---|---|---|---|
M-DOYM-056 |
|
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 10 | 10 | 0 | 0 | 0 | Q2 |
Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19) |
---|
|
Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19) |
Matière des TP |
Contenu de l'AA
A côté des aspects purement théoriques, l'utilisation pratique d'une approche formalisée dans les raisonnements logiques sera démontrée dans le domaine des sciences biomédicales. A titre d'exemples pédagogiques des séries télévisées connues (les experts, Dr House etc ...) seront utilisées.Le problème du contrôle d'hypothèse en science de la vie sera également aborder.
Supports principaux non reproductibles
Diapositives
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
Sans objet
Mode d'enseignement
Types d'activités
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend