 | Programme d’études 2018-2019 | English | |
 | Logique formelle | ||
Activité d'apprentissage à la Faculté de Médecine et de Pharmacie |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(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 |
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
- Face à face
Types d'activités
- Cours magistraux
- Conférences
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