![]() | Programme d’études 2020-2021 | 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 de fin de Q3 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire) |
---|
|
Description des modalités d'évaluation de fin de Q3 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire) |
Résolution d'exercices portant sur toute la matière du cours. |
Modalités d'organisation des évaluations de fin de Q2 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
Description des modalités d'évaluation de fin de Q2 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
La note finale est le maximum entre la note de janvier et celle de juin
Modalités d'organisation des évaluations de fin de Q1 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
Description des modalités d'évaluation à distance de fin de Q1 2020-2021 (Covid-19) à distance ou en présentiel (selon les informations reprises à l'horaire)
Résolution d'exercices portant sur toute la matière du cours.
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