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

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

Περιοχή κατοικίας: Άλιμος

Online μαθήματα: Ναι

Εξυπηρετεί τις περιοχές: Άγιος Δημήτριος, Άλιμος, Αργυρούπολη, Δάφνη, Ελληνικό, Ηλιούπολη, Παλαιό Φάληρο, Υμηττός,


Αναλαμβάνει:

Παιδιά Φοιτητές Ενήλικες

Μαθητές με μαθησιακές δυσκολίες

Διαθεσιμότητα

 

Δ

Τ

Τ

Π

Π

Σ

Κ

Πράσινο: διαθέσιμος - Γκρι: όχι διαθέσιμος



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

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.



Αντικείμενα Εξειδίκευσης

IBSPSSΆλγεβραΑνάλυσηΓεωμετρίαΠιθανότητεςΣτατιστική

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

×

Τύπος μαθήματος