 | Study programme 2019-2020 | Français | |
 | Seminars: Model Theory and Applications | ||
Programme component of Master's in Mathematics à la Faculty of Science |
| Students are asked to consult the ECTS course descriptions for each learning activity (AA) to know what assessment methods are planned for the end of Q3 |
|---|
| Code | Type | Head of UE | Department’s contact details | Teacher(s) |
|---|---|---|---|---|
| US-M1-SCMATH-101-M | Optional UE | RIVIERE Cédric | S834 - Mathématiques appliquées |
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 45 | 0 | 0 | 6 | 6.00 | Full academic year |
| AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
|---|---|---|---|---|---|---|---|---|
| S-MATH-037 | Seminars: Model Theory and Applications | 15 | 0 | 45 | 0 | 0 | A | 100.00% |
| Programme component |
|---|
Objectives of Programme's Learning Outcomes
Type of Teaching Activity/Activities
| AA | Type of Teaching Activity/Activities |
|---|---|
| S-MATH-037 |
|
Mode of delivery
| AA | Mode of delivery |
|---|---|
| S-MATH-037 |
|
Required Reading
| AA | |
|---|---|
| S-MATH-037 |
Required Learning Resources/Tools
| AA | Required Learning Resources/Tools |
|---|---|
| S-MATH-037 | Not applicable |
Recommended Reading
| AA | |
|---|---|
| S-MATH-037 |
Recommended Learning Resources/Tools
| AA | Recommended Learning Resources/Tools |
|---|---|
| S-MATH-037 | Not applicable |
Other Recommended Reading
| AA | Other Recommended Reading |
|---|---|
| S-MATH-037 | - "Model Theory, an Introduction", D. Marker, Springer (2002). - "Finite Model Theory and its Applications", Grädel, Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, Weinstein, Springer (2007). - "Introduction to Differential Algebra", I. Kaplanski, Hermann (1997). |
Grade Deferrals of AAs from one year to the next
| AA | Grade Deferrals of AAs from one year to the next |
|---|---|
| S-MATH-037 | Unauthorized |
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term