Θάνος Τσουάνας: student profile
Webmaster
-
Επίκουρος Καθηγητής,
Federal University of Rio Grande do Norte
| Website: | http://www.tsouanas.org/ |
|---|---|
| Email: | thanos<░át-sign░>tsouanas { · } org |
msc, #200711
| Enrolled in: | Δεκέμβριος 2007 |
|---|---|
| Graduated on: | Τετάρτη, 22 Δεκ 2010 |
| Chosen specialization: | λογική και θεωρία αλγορίθμων και υπολογισμού |
Thesis
Title: Semantic Approaches to Logic Programming.
Defended: Δευτέρα, 27 Σεπ 2010.
Final grades
| Course | Mark | Credits | |
|---|---|---|---|
| Λ1. | μαθηματική λογική | 5,0 | 4 |
| Λ2. | υπολογισιμότητα | 10,0 | 4 |
| Λ3. | αλγόριθμοι και πολυπλοκότητα I | 5,0 | 4 |
| Λ4. | αλγόριθμοι και πολυπλοκότητα II | 5,0 | 4 |
| Λ5. | ερευνητική μεθοδολογία | 10,0 | 2 |
| Μ6. | θεωρία συνόλων | 8,0 | 4 |
| Π6. | βασικό μάθημα στη θεωρητική πληροφορική | 6,0 | 4 |
| Π03Β. | σημασιολογία γλωσσών προγραμματισμού | 9,0 | 4 |
| Π03Γ. | συστήματα τύπων των γλωσσών προγραμματισμού | 9,0 | 4 |
| ΜA09. | lattices και θεωρία διάταξης | 10,0 | 4 |
| ΜΓ09. | καθολική άλγεβρα | 10,0 | 4 |
| ΛΔΕ. | διπλωματική εργασία | 10,0 | 10 |
| GPA: 8,23 | |||