Ζαχαρίας Πιτουράς: student profile
msc
Enrolled in: | Οκτώβριος 2010 |
---|---|
Stopped in: | Σεπτέμβριος 2014 |
Course participations
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2012-2013, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2012-2013, χειμερινό εξάμηνο)
- Λ15. Θεωρία αποδείξεων (2012-2013, χειμερινό εξάμηνο)
- Π00Γ. Συνδυαστική βελτιστοποίηση (2012-2013, χειμερινό εξάμηνο)
- Π02Ε. Υπολογιστική άλγεβρα (2012-2013, χειμερινό εξάμηνο)
- Λ1. Μαθηματική λογική (2012-2013, εαρινό εξάμηνο)
- Λ14. Εισαγωγή στο λ-λογισμό (2012-2013, εαρινό εξάμηνο)
- Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά (2012-2013, εαρινό εξάμηνο)
- Π02Δ. Υπολογιστική γεωμετρία (2012-2013, εαρινό εξάμηνο)
- Π03Δ. Αλγόριθμοι στη μοριακή βιολογία (2012-2013, εαρινό εξάμηνο)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (2013-2014, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2013-2014, χειμερινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2013-2014, χειμερινό εξάμηνο)
- Λ2. Υπολογισιμότητα (2013-2014, χειμερινό εξάμηνο)
- Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων (2013-2014, χειμερινό εξάμηνο)
- Λ1. Μαθηματική λογική (2013-2014, εαρινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2013-2014, εαρινό εξάμηνο)
- Λ14. Εισαγωγή στο λ-λογισμό (2013-2014, εαρινό εξάμηνο)
- Π03Ξ. Προσεγγιστικοί αλγόριθμοι (2013-2014, εαρινό εξάμηνο)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (2013-2014, εαρινό εξάμηνο)
- Λ2. Υπολογισιμότητα (2014-2015, χειμερινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2014-2015, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2014-2015, χειμερινό εξάμηνο)