 | Programme d’études 2018-2019 | English | |
 | Logique mathématique I | ||
Activité d'apprentissage à la Faculté des Sciences |
| Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(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 |
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
- Face à face
Types d'activités
- Cours magistraux
- Exercices dirigés
Evaluations
Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend