Θεόδωρος Παπαμακάριος: student profile
msc
| Enrolled in: | Νοέμβριος 2014 |
|---|---|
| Graduated on: | Πέμπτη, 21 Δεκ 2017 |
Thesis
Title: Proof Complexity: A Tableau Perspective.
Defended: Τετάρτη, 19 Ιούλ 2017.
Course participations
- Λ1. Μαθηματική λογική (2014-2015, εαρινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2014-2015, εαρινό εξάμηνο)
- Λ14. Εισαγωγή στο λ-λογισμό (2014-2015, εαρινό εξάμηνο)
- Λ99Γ. Τροπική λογική (2014-2015, εαρινό εξάμηνο)
- Λ05Δ. Θεωρία Γραφημάτων (2014-2015, εαρινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2014-2015, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2014-2015, χειμερινό εξάμηνο)
- Λ2. Υπολογισιμότητα (2015-2016, χειμερινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2015-2016, χειμερινό εξάμηνο)
- Λ07Γ. Λογική, Αυτόματα και Παίγνια (2015-2016, εαρινό εξάμηνο)
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι (2015-2016, εαρινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2016-2017, εαρινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2016-2017, εαρινό εξάμηνο)
- Λ09Γ. Προχωρημένα Θέματα Λογικής (2016-2017, εαρινό εξάμηνο)