Christos Rantsoudis: student profile
msc, #201209
| Enrolled in: | November 2012 |
|---|---|
| Graduated on: | Tuesday, 28 Jun 2016 |
| Chosen specialization: | mathematical logic |
Thesis
Title: Model-theoretic investigations on "overwhelming majority" default conditionals.
Defended: Monday, 09 Nov 2015.
Course participations
- Λ2. Computability (2012-2013, fall semester)
- Λ3. Algorithms and complexity I (2012-2013, fall semester)
- Λ4. Algorithms and complexity II (2012-2013, fall semester)
- Λ15. Proof theory (2012-2013, fall semester)
- Λ99Γ. Modal logic (2012-2013, fall semester)
- Λ1. Mathematical logic (2012-2013, spring semester)
- Μ6. Set theory (2012-2013, spring semester)
- Λ13Ξ. Intuitionistic logic and constructive mathematics (2012-2013, spring semester)
- Λ3. Algorithms and complexity I (2014-2015, fall semester)
- Λ4. Algorithms and complexity II (2014-2015, fall semester)
- Λ5. Research methodology (2014-2015, spring semester)
- ΛΔΕ. Msc thesis (2014-2015, spring semester)
- Λ5. Research methodology (2015-2016, fall semester)
- ΛΔΕ. Msc thesis (2015-2016, fall semester)
Final grades
| Course | Mark | Credits | |
|---|---|---|---|
| Λ1. | mathematical logic | 8.0 | 4 |
| Λ2. | computability | 10.0 | 4 |
| Λ3. | algorithms and complexity I | 6.0 | 4 |
| Λ4. | algorithms and complexity II | 9.0 | 4 |
| Μ6. | set theory | 9.0 | 4 |
| M12. | model theory | 10.0 | 4 |
| Λ15. | proof theory | 10.0 | 4 |
| Λ13Ξ. | intuitionistic logic and constructive mathematics | 10.0 | 4 |
| Λ99Γ. | modal logic | 9.0 | 4 |
| ΜΝ13. | First-Order Modal Logic | 10.0 | 4 |
| GPA: 9.10 | |||