Study programme 2017-2018 | Français | ||
Model theory I | |||
Programme component of Bachelor's Degree in Mathematics à la Faculty of Science |
Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-B3-SCMATH-009-M | Compulsory UE | POINT Francoise | S838 - Logique mathématique |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 15 | 0 | 0 | 0 | 2 | 2 | 1st term |
AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
---|---|---|---|---|---|---|---|---|
S-MATH-023 | Model Theory I | 15 | 15 | 0 | 0 | 0 | Q1 | 100.00% |
Programme component |
---|
Objectives of Programme's Learning Outcomes
Learning Outcomes of UE
Be comfortable with the basic notions of Model Theory and with solving simple exercices.
Content of UE
First notions of model theory (Structures and first-order language, formulas, sentences, prenex forms). Substructures, elementary substructures, theories. Isomorphisms and automorphisms groups. Back-and-forth and dense/discrete orders. Equivalence relations. Quantifier-elimination.
Prior Experience
no particular prerequesites
Type of Assessment for UE in Q1
Q1 UE Assessment Comments
The evaluation consists in a written exam.
Type of Assessment for UE in Q3
Q3 UE Assessment Comments
The evaluation consists in a written exam on exercices and a theoretical knowledge of the material.
Type of Resit Assessment for UE in Q1 (BAB1)
Q1 UE Resit Assessment Comments (BAB1)
Not applicable
Type of Teaching Activity/Activities
AA | Type of Teaching Activity/Activities |
---|---|
S-MATH-023 |
|
Mode of delivery
AA | Mode of delivery |
---|---|
S-MATH-023 |
|
Required Reading
AA | Required Reading |
---|---|
S-MATH-023 | Note de cours - transparente - Françoise Point |
Required Learning Resources/Tools
AA | Required Learning Resources/Tools |
---|---|
S-MATH-023 | 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. |
Recommended Reading
AA | Recommended Reading |
---|---|
S-MATH-023 |
Recommended Learning Resources/Tools
AA | Recommended Learning Resources/Tools |
---|---|
S-MATH-023 | Not applicable |
Other Recommended Reading
AA | Other Recommended Reading |
---|---|
S-MATH-023 | 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. |
Grade Deferrals of AAs from one year to the next
AA | Grade Deferrals of AAs from one year to the next |
---|---|
S-MATH-023 | Authorized |