Βενέτη Αναστασία – Μαθηματικά

---

---

Βασικός Τίτλος Σπουδών

University of Oxford

Τμήμα Μαθηματικών

Μεταπτυχιακός Τίτλος Σπουδών

1) Διδακτική και Μεθοδολογία των Μαθηματικών (2000) 2) Μαθηματική Λογική (2007)

Διδακτορικός Τίτλος Σπουδών

A Logic for Union Types (2015)

Διδακτική Πείρα στα Ιδιαίτερα Μαθήματα Μαθηματικών

Παραδίδω ιδιαίτερα μαθήματα σε μαθητές IGCSE και IB στα Μαθηματικά (πρώην SL και HL, νυν MAA και MAI), καθώς και σε μαθητές Γυμνασίου ή Λυκείου. Αναλαμβάνω τη συστηματική προετοιμασία μαθητών της Γ’ Λυκείου για τις πανελλαδικές εξετάσεις, καθώς και τη διδασκαλία φοιτητών σε μαθήματα της εξειδίκευσής μου (Λογική, Θεωρία Συνόλων, λ-Λογισμό, Θεωρία Αποδείξεων, Γραμμική Άλγεβρα).

Έχω διδακτική εμπειρία σε ιδιαίτερα από το 1996, αλλά και 2ετή εμπειρία διδασκαλίας σε ΤΕΙ. Έχοντας διδακτορική εκπαίδευση στη Μαθηματική Λογική, δουλεύω με στόχο τη λογική και κριτική κατανόηση της ουσίας των Μαθηματικών, ώστε ο μαθητής να εκτιμήσει την αρτιότητα και τη λογική καθαρότητα του αντικειμένου. Παρέχω προσωπικές μου σημειώσεις και χρησιμοποιώ επιλεγμένα εξωσχολικά βιβλία.

Σεμινάρια - Επιμόρφωση

Ανακοινώσεις σε επιστημονικά συνέδρια:

1. Veneti A. and Stavrinos Y., Additive Aspects of Intersection, Turing Centenary Conference (CiE 2012), University of Cambridge, 18-23/06/2012.
2. Ronchi Della Rocca S., Saurin A., Stavrinos Y., and Veneti A., Intersection and Union Logic, 5th Workshop on Intersection Types and Related Systems (ITRS 2010), University of Edinburgh, 09/07/2010.
3. Veneti A. and Stavrinos Y., A Sequent Calculus for Intersection and Union Logic, Computability in Europe 2008 (CiE 2008), University of Athens, 15-20/06/2008.
4. Veneti A. and Stavrinos Y., Towards an Intersection and Union Logic, 4th Workshop on Intersection Types and Related Systems (ITRS 2008), University of Torino, 25/03/2008.
5. Stavrinos Y. and Veneti A., Of kits and atoms: Intersection logics, 6th Panhellenic Logic Symposium (PLS6), University of Thessaly, 05-08/07/2007.

Συμμετοχές σε επιστημονικά συνέδρια:

1. 9th Panhellenic Logic Symposium (PLS9), National Technical University of Athens, 15-18/07/2013.
2. 8th Panhellenic Logic Symposium (PLS8), University of Ioannina, 04-08/07/2011.
3. 7th Panhellenic Logic Symposium (PLS7), University of Patras, 15-19/07/2009.
4. 2nd Athens Colloquium on Algorithms and Complexity (ACAC 2007), National Technical University of Athens, 23-24/08/2007.
5. 5th Panhellenic Logic Symposium (PLS5), University of Athens, 25-28/07/2005.

Δημοσιεύσεις:

Δημοσιεύσεις σε επιστημονικά περιοδικά με κριτές:

1. Stavrinos Y. and Veneti A., Towards a logic for union types, Fundamenta Informaticae: special issue on Intersection Types and Related Systems 121(1-4) (2012), 275-302.
2. Ronchi Della Rocca S., Saurin A., Stavrinos Y., and Veneti A., Intersection Logic in sequent calculus style, Electronic Proceedings in Theoretical Computer Science 45 (2011), 16-30.
3. Stavrinos Y. and Veneti A., Of kits and molecules, Proceedings of the 6th Panhellenic Logic Symposium (2007), 125-131.

Επικοινωνήστε με τον εκπαιδευτικό