Ιδιότητες κλειστότητας της κλάσης των αναγνωρίσιμων γλωσσών μέσω ομομορφισμών. Μοναδιακή λογική δεύτερης τάξης (MSO logic). Εκφραστική ισοδυναμία αυτομάτων και προτάσεων MSO λογικής. Λογική πρώτης τάξης. Γραμμική χρονική λογική (LTL). Εκφραστική ισοδυναμία λογικής πρώτης τάξης και γραμμικής χρονικής λογικής. Εφαρμογές στον έλεγχο μοντέλων.

Παρεμβολή και προσέγγιση με τμηματικά πολυώνυμα και Splines. Αριθμητική γραμμική άλγεβρα (απαλοιφή Gauss για γραμμικά συστήματα, οδήγηση, LU – παραγοντοποίηση και εισαγωγή στην ευστάθεια συστημάτων και αλγορίθμων, νόρμες διανυσμάτων και πινάκων, δείκτης κατάστασης μέθοδος Cholesky για συμμετρικούς θετικά ορισμένους πίνακες, επαναληπτικές μέθοδοι, εισαγωγή στην αριθμητική λύση του προβλήματος ιδιοτιμών – ιδιοδιανυσμάτων). Αριθμητική λύση ΣΔΕ (ύπαρξη και μοναδικότητα λύσεων του προβλήματος αρχικών τιμών, μέθοδος Euler, μέθοδοι Runge-Kutta και πολυβηματικές μέθοδοι, σύγκλιση, αστάθεια και ευστάθεια, εισαγωγή στα προβλήματα οριακών τιμών).

Με το μάθημα της Ιστορίας των Μαθηματικών επιδιώκεται η απόκτηση μιας γενικότερης εποπτείας της σταδιακής εξέλιξής τους, από την αρχαιότητα έως σήμερα.

Με εστίαση στην εξέλιξη της Άλγεβρας, θα περιγραφεί η πορεία από την εμπειρική χρήση των Μαθηματικών για επίλυση προβλημάτων της καθημερινότητας, μέχρι τη συστηματική θεωρητικοποίησή τους. Επιπλέον, θα αναλυθεί η συμβολή τους στη θεμελίωση και ανάπτυξη του συνόλου σχεδόν των επιστημονικών τομέων, μεταξύ άλλων της Αστρονομίας, της Μηχανικής, των Οικονομικών, των Κοινωνικών Επιστημών, κ.λπ.

Ιδιαίτερη βαρύτητα θα δοθεί στη διαλογική σχέση μεταξύ των μαθηματικών εννοιών και του κοινωνικού και πολιτισμικού πλαισίου στο οποίο γεννήθηκαν και διαμορφώθηκαν, η οποία θα διασαφηνιστεί μέσω της κριτικής θεώρησης των πρωτευόντων και δευτερευόντων πηγών και ιστορικών στοιχείων που θα παρουσιαστούν στο μάθημα.

Το μάθημα αποτελεί τη συνέχεια της Διδακτικής των Μαθηματικών Ι, εστιάζοντας σε πρακτικά θέματα της εφαρμογής της διδακτικής θεωρίας στα δεδομένα του ελληνικού σχολείου. Λαμβάνεται υπ’ όψιν το Πρόγραμμα Σπουδών στα Μαθηματικά και παρέχονται συγκεκριμένες κατευθύνσεις που θα βοηθήσουν έναν υποψήφιο εκπαιδευτικό να ανταποκριθεί αποτελεσματικά στα μελλοντικά διδακτικά του καθήκοντα. Βασικός στόχος του μαθήματος είναι η καθοδήγηση στον σχεδιασμό ενός άρτια οργανωμένου μαθήματος Μαθηματικών, το οποίο θα υλοποιηθεί σε μια τυπική σχολική τάξη στα πλαίσια της πρακτικής άσκησης.

Το μάθημα αποτελεί μία εισαγωγή στην αλγεβρική γεωμετρία, εστιάζοντας στις αλγεβρικές καμπύλες.

Συχνά υποστηρίζεται ότι η διδασκαλία των Μαθηματικών είναι τέχνη, αλλά ακόμα και σε αυτήν την περίπτωση η αποτελεσματικότητά της ενισχύεται από τη γνώση μιας σειράς παραγόντων που επηρεάζουν τη μάθηση, τους οποίους έχει αναδείξει η εκπαιδευτική έρευνα τις τελευταίες δεκαετίες. Η επιλογή του περιεχομένου του μαθήματος έγινε με σκοπό να εξοικειωθούν οι μελλοντικοί εκπαιδευτικοί με τους πολύπλοκους μηχανισμούς της μάθησης, και ταυτόχρονα να εφοδιαστούν με τα κατάλληλα θεωρητικά και πρακτικά εργαλεία που θα τους βοηθούν να οργανώνουν και να υλοποιούν αποτελεσματικά σχέδια διδασκαλίας Μαθηματικών. Τα θέματα που πραγματεύεται το μάθημα της Διδακτικής των Μαθηματικών Ι είναι τα εξής: - Θεωρίες Μάθησης - Βασικές Θεωρητικές Αρχές της Διδασκαλίας των Μαθηματικών - Μαθηματικά Προβλήματα - Απόδειξη στα Μαθηματικά - Διδακτική της Γεωμετρίας - Μαθηματική Μοντελοποίηση - Ανάπτυξη της Κριτικής Σκέψης - Σύγχρονες Θεωρίες Κινήτρων και Μαθηματικά - Διαφοροποιημένη διδασκαλία των Μαθηματικών - Αξιοποίηση Ψηφιακών Βοηθημάτων στα Μαθηματικά

Στο μάθημα παρουσιάζονται οι κυριότερες κατηγορίες συνήθων διαφορικών εξισώσεων και αναλύονται οι τεχνικές επίλυσής τους. Το μεγαλύτερο τμήμα του μαθήματος αφορά την επίλυση γραμμικών διαφορικών εξισώσεων. Συμπεριλαμβάνει όμως και την επίλυση μη-γραμμικών εξισώσεων πρώτης τάξης και γνωστών κατηγοριών μη-γραμμικών εξισώσεων, όπως του Bernoulli και του Euler. Αναπτύσσεται επίσης η κύρια θεωρία ύπαρξης και μοναδικότητας λύσης πρωτοβάθμιας εξίσωσης με μεθόδους διαδοχικών προσεγγίσεων.

• Τοπολογικοί χώροι. Τοπικές έννοιες (βάσεις τοπολογίας και περιοχών, υπόχωροι). Tοπολογία γινόμενο. Tοπολογία πηλίκο. • Σύγκλιση και συνεχείς συναρτήσεις. • Συμπάγεια και συνεκτικότητα. • Συνθήκες αριθμησιμότητας, διαχωριστικά αξιώματα, μετρικοποιησιμότητα. • Θεώρημα Tychonoff. Συμπαγοποίηση Stone­-Čech. • Χώροι συναρτήσεων. Σημειακή σύγκλιση, συμπαγής­ανοικτή τοπολογία, θεώρημα Ascoli, χώροι Baire.

Βιβλιογραφία

- Εισαγωγή στην Τοπολογία, Χ.Καρυοφύλλης, Χ.Κωνσταντιλάκη, Αφοί Κυριακίδη, Εκδόσεις Α.Ε., 2003 (νέο 2017) - Γενική Τοπολογία, Δ. Γεωργίου-Σ. Ηλιάδης, Εκδ. Τζιόλα - Τοπολογία, Π.Τσαμάτος, Εκδ. Τζιόλα, 2009 (νέο 2016)

Πραγματικοί αριθμοί. Αριθμήσιμα και υπεραριθμήσιμα σύνολα. Ακολουθίες και σειρές αριθμών. Αναδιατάξεις σειρών. Παραστάσεις πραγματικών αριθμών. Το σύνολοκαι η συνάρτηση του Cantor. Είδη συναρτήσεων (μονότονες, φραγμένης κύμανσης, απόλυτα συνεχείς, κυρτές κλπ). Ακολουθίες και σειρές συναρτήσεων. Ομοιόμορφη σύγκλιση και εφαρμογές. Πουθενά διαφορίσιμες συνεχείς συναρτήσεις. Χωροπληρωτικές καμπύλες. Ισοσυνέχεια, θεώρημα Arzela-Ascoli. Θεώρημα πολυωνυμικήςπροσέγγισης τού Weierstrass. Το μέτρο Lebesgue.

Εισαγωγή. Μερικές απλές διαφορικές εξισώσεις με μερικές παραγώγους. Καλώς τοποθετημένα προβλήματα. Κλασσικές λύσεις. Ασθενείς λύσεις και κανονικότητα. Τέσσερες σημαντικές γραμμικές διαφορικές εξισώσεις με μερικές παραγώγους. 1) Η εξίσωση της Μεταφοράς. Το πρόβλημα αρχικών τιμών. Το μη ομογενές πρόβλημα. 2) Η εξίσωση του Laplace, και η εξίσωση του Poisson. Θεμελιώδης λύση. Στοιχεία από την θεωρία των κατανομών. Οι τύποι της μέσης τιμής. Ιδιοτιμές των αρμονικών συναρτήσεων. Η αρχή του ισχυρού μεγίστου και μοναδικότητας των λύσεων ορισμένων προβλημάτων συνοριακών τιμών για την εξίσωση του Poisson. Εξομαλυντές και λειότης. Τοπικές εκτιμήσεις για τις παραγώγους των αρμονικών συναρτήσεων. Το θεώρημα του Liouville. Η ανισότης του Harnack. Η συνάρτηση του Green. Η συνάρτηση του Green για ένα ημιχώρο και μία μπάλα. 3) Η εξίσωση της θερμότητας. Θεμελιώδης λύση. Ερωτήματα αντίστοιχα με αυτά της παραγράφου (2). 4) Η εξίσωση των κυμάτων.