Χρήστος Ραντσούδης: student profile
msc, #201209
| Enrolled in: | Νοέμβριος 2012 |
|---|---|
| Graduated on: | Τρίτη, 28 Ιούν 2016 |
| Chosen specialization: | μαθηματική λογική |
Thesis
Title: Model-theoretic investigations on "overwhelming majority" default conditionals.
Defended: Δευτέρα, 09 Νοέ 2015.
Course participations
- Λ2. Υπολογισιμότητα (2012-2013, χειμερινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2012-2013, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2012-2013, χειμερινό εξάμηνο)
- Λ15. Θεωρία αποδείξεων (2012-2013, χειμερινό εξάμηνο)
- Λ99Γ. Τροπική λογική (2012-2013, χειμερινό εξάμηνο)
- Λ1. Μαθηματική λογική (2012-2013, εαρινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2012-2013, εαρινό εξάμηνο)
- Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά (2012-2013, εαρινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2014-2015, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2014-2015, χειμερινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2014-2015, εαρινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2014-2015, εαρινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2015-2016, χειμερινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2015-2016, χειμερινό εξάμηνο)
Final grades
| Course | Mark | Credits | |
|---|---|---|---|
| Λ1. | μαθηματική λογική | 8,0 | 4 |
| Λ2. | υπολογισιμότητα | 10,0 | 4 |
| Λ3. | αλγόριθμοι και πολυπλοκότητα I | 6,0 | 4 |
| Λ4. | αλγόριθμοι και πολυπλοκότητα II | 9,0 | 4 |
| Μ6. | θεωρία συνόλων | 9,0 | 4 |
| M12. | θεωρία μοντέλων | 10,0 | 4 |
| Λ15. | θεωρία αποδείξεων | 10,0 | 4 |
| Λ13Ξ. | ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά | 10,0 | 4 |
| Λ99Γ. | τροπική λογική | 9,0 | 4 |
| ΜΝ13. | Πρωτοβάθμια Τροπική Λογική | 10,0 | 4 |
| GPA: 9,10 | |||