Programme d’études 2017-2018 | English | ||
Théorie des modèles I | |||
Activité d'apprentissage à la Faculté des Sciences |
Code | Titulaire(s) | Co-Titulaire(s) | Suppléant(s) et autre(s) |
---|---|---|---|
S-MATH-023 |
|
Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement |
---|---|---|---|---|---|---|---|
Français | Français | 15 | 15 | 0 | 0 | 0 | Q1 |
Contenu de l'AA
Premières notions de théorie des modèles (structures et langage du premier ordre, formules, énoncés, forme prenexe). Sous-structures, sous-structures élémentaires, théories. Isomorphismes et groupes d'automorphismes. Va-et-vient, ordres discrets et denses. Relations d'équivalence. Elimination des quantificateurs.
Supports principaux
Note de cours - transparente - Françoise Point
Supports principaux non reproductibles
Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002.
Chang, C. C.; Keisler, H. J. Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990, 1977, 1973.
Supports complémentaires
Support complémentaires non reproductibles
Sans objet
Autres références conseillées
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