Programme d’études 2019-2020 | English | ||
Logique | |||
Activité d'apprentissage |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
---|---|---|---|---|
S-MATH-718 |
|
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 0 | 24 | 0 | 0 | 0 | Q1 |
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) |
Quiz suivi d'une épreuve écrite. La note pour l'ensemble de l'examen sera donnée par 0.2 Q + 0.8 E où Q est la note au quiz (sur 20) et E la note à l'épreuve écrite (sur 20) sauf si Q < 10, auquel cas la note finale est 0.2 Q. |
Contenu de l'AA
Logique propositionnelle et du premier ordre, techniques de preuve et théorie des ensembles.
Supports principaux non reproductibles
Sans objet
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