Αγγελική Χαλκή: student profile
msc
| Enrolled in: | Μάρτιος 2013 |
|---|---|
| Graduated on: | Τετάρτη, 02 Νοέ 2016 |
Thesis
Title: Counting below #P: Classes, problems and Descriptive Complexity.
Defended: Δευτέρα, 12 Σεπ 2016.
Course participations
- Λ1. Μαθηματική λογική (2012-2013, εαρινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2012-2013, εαρινό εξάμηνο)
- Λ14. Εισαγωγή στο λ-λογισμό (2012-2013, εαρινό εξάμηνο)
- Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά (2012-2013, εαρινό εξάμηνο)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (2013-2014, χειμερινό εξάμηνο)
- M12. Θεωρία μοντέλων (2013-2014, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2013-2014, χειμερινό εξάμηνο)
- Λ13Β. Τυπικές Μέθοδοι και Λογισμικό (Θεωρία κατηγοριών και εφαρμογές αλγεβρικών προδιαγραφών) (2013-2014, χειμερινό εξάμηνο)
- Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων (2013-2014, χειμερινό εξάμηνο)
- Λ13Γ. Ειδικά θέματα αλγορίθμων σε γραφήματα (2013-2014, εαρινό εξάμηνο)
- Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας (2013-2014, εαρινό εξάμηνο)
- Λ14. Εισαγωγή στο λ-λογισμό (2013-2014, εαρινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2014-2015, χειμερινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2014-2015, χειμερινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2014-2015, εαρινό εξάμηνο)
- Λ99Γ. Τροπική λογική (2014-2015, εαρινό εξάμηνο)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (2014-2015, εαρινό εξάμηνο)
- Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων (2014-2015, εαρινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2014-2015, εαρινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2015-2016, χειμερινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2015-2016, χειμερινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2015-2016, εαρινό εξάμηνο)
- Λ07Γ. Λογική, Αυτόματα και Παίγνια (2015-2016, εαρινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2015-2016, εαρινό εξάμηνο)