Programme d’études 2020-2021 | English | ||
Logique mathématique I | |||
Activité d'apprentissage |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) | Établissement(s) |
---|---|---|---|---|
S-MATH-021 |
|
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 35 | 15 | 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) |
Ecrit suivi (si distanciel) d'un court oral pour tester la compréhension des réponses par l'étudiant (écrit le matin, suivi d'un oral l'après-midi) |
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)
Ecrit suivi (si distanciel) d'un court oral pour tester la compréhension des réponses par l'étudiant (écrit le matin, suivi d'un oral l'après-midi)
Contenu de l'AA
Voir le contenu de l'UE.
Supports principaux non reproductibles
Voir le site du cours sur la plateforme Moodle.
Support complémentaires non reproductibles
Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002.
Autres références conseillées
Chang et Keisler, Model Theory, North-Holland. Barwise, Handbook of mathematical logic, North-Holland. Poizat B., Cours de théorie des modèles, 1985, Nur Al-Mantiq Wal-Ma'rifah. [Version anglaise éditée chez Springer en 2000.]
Hodges, W., Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993.
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