::Σάββατο, 21 Οκτωβρίου, 2017
Μαθήματα Σχολής - Εξάμηνο Ζ' Εκτύπωση E-mail

 

Εξάμηνο Ζ'



- PM435: Γεωμετρία (6 ECTS)

Σ. Ζαφειρίδου

Ευκλείδεια γεωμετρία. Μη Ευκλείδειες γεωμετρίες (Σφαιρική και Υπερβολική). Σύνδεση των Ευκλείδειων και μη Ευκλείδειων γεωμετριών μέσω της Προβολικής Γεωμετρίας. Ομάδες Μετασχηματισμών και η αναλλοίωτη θεωρία τους.

- PM436: Θεωρία Μέτρου και Ολοκλήρωσης (6 ECTS)

Π. Τζερμιάς

Άλγεβρα και σ-άλγεβρα συνόλων, σύνολα Borel. Εξωτερικό μέτρο και εξωτερικό μέτρο Καραθεοδωρή. Χώρος με μέτρο, μετρήσιμα σύνολα, μετρήσιμες συναρτήσεις και συναρτήσεις κατανομής. Το εξωτερικό μέτρο και το μέτρο Lebesgue στο ℝ, Θεώρημα Καραθεοδωρή-Hahn. Ολόκληρωμα Lebesgue (φραγμένης/μη φραγμένης μετρήσιμης συνάρτησης πάνω σε διάστημα και σε μετρήσιμο υποσύνολο του ℝ. Σύγκριση των ολοκληρωμάτων Riemann και Lebesgue. Ακολουθίες μετρησίμων συναρτήσεων και θεωρήματα προσέγγισης μετρήσιμης συνάρτησης, θεώρημα Egoroff. Συναρτήσεις περατωμένης μεταβολής, διαφόριση μονότονων συναρτήσεων και παραγώγιση αορίστου ολοκληρώματος. Απολύτως συνεχείς συναρτήσεις. Χώροι Lp. Ανισότητες των Holder και Minkowski. Είδη σύγκλισης. Φραγμένα γραμμικά συναρτησιοειδή στον Lp. Προσημασμένα μέτρα, απολύτως συνεχή μέτρα και θεώρημα Randon-Nikodym. Mέτρα γινόμενα και θεώρημα Fubini. Eφαρμογές στην Ανάλυση και Θεωρία Πιθανοτήτων.


- PM437: Θεωρία Συνόλων (6 ECTS)

Δ. Γεωργίου

Η άλγεβρα Boole των υποσυνόλων. Σχέσεις διάταξης. Εισαγωγή στην αξιωματική θεωρία των συνόλων. Αντινομίες. Αριθμήσιμα και μη αριθμήσιμα σύνολα. Πληθάριθμοι. Το θεώρημα Cantor-Berstein. Ορισμός φυσικών, ακεραίων και πραγματικών αριθμών με τομές Dedekind, μέσω ακολουθιών Cauchy, ως πηλίκο δακτυλίου δια ιδεώδους. Πράξεις. Πράξεις πληθαρίθμων. Καλή διάταξη και σύγκριση καλώς διατεταγμένων συνόλων. Διατακτικοί αριθμοί. Στοιχειώδης θεωρία διατακτικών αριθμών (σύγκριση αρχικών διαστημάτων, υπερπεπερασμένη επαγωγή, οι πληθάριθμοι ως σύνολα, πράξεις διατακτικών, η ε-μεταβατικότητα, η ε-συνεκτικότητα και η ε-θεμελίωση). Αξίωμα επιλογής, λήμματα Zorn και Zermelo. Συνεπακόλουθα του αξιώματος. Υπόθεση του συνεχούς. Αξιοσημείωτα υποσύνολα των πραγματικών: σύνολο του Cantor, σύνολα του Borel, σύνολα Baire κ.α.


- AM434: Δυναμικά Συστήματα (6 ECTS)

-

Δυναμική γραμμικών συστημάτων. Μελέτη μη γραμμικών δυναμικών συστημάτων στο επίπεδο φάσεων. Σημεία ισορροπίας: Γραμμική και μη γραμμική ανάλυση ευστάθειας. Περιοδικές λύσεις και θεωρία Poincarè-Bendixson ύπαρξης οριακών κύκλων. Δομική ευστάθεια δυναμικών συστημάτων και το Θεώρημα του Peixoto. Διακλαδώσεις σταθερών σημείων και περιοδικών τροχιών και η θεωρία Floquet. Εισαγωγή στη θεωρία ολοκληρωσιμότητας, εξισώσεις Painlevè.


- AM435: Εισαγωγή στην Κβαντομηχανική (6 ECTS)

Αντ. Στρέκλας

Διανυσματικοί χώροι, ο χώρος Hilbert. Γραμμικά συναρτησιακά, συναρτησιακό του Dirac, συναρτήσεις Green. Γραμμικοί τελεστές, φραγμένοι τελεστές, ερμητιανός τελεστής, φάσμα των τελεστών. Κλασική Φυσική, Κυματική, διαφορική εξίσωση του κύματος. Πειράματα που δείχνουν την ανεπάρκεια της Κλασικής Μηχανικής. Η κβαντωση των ενεργειακών καταστάσεων, ο κυματοσωματιδιακός δυϊσμός της ύλης, σχέσεις απροσδιοριστίας. Οι θεμελιώδεις προτάσεις της Κβαντομηχανικής, περιγραφή των καταστάσεων και των μεγεθών, ο κβαντικός νόμος της κίνησης. Εξίσωση συνεχείας. Η παράσταση του Heisenberg, μηχανική των μητρών. Προβλήματα κβαντομη¬χανικής, στάσιμες καταστάσεις, κυματοδέματα, το ελεύθερο σωματίδιο, κατά τμήματα σταθερά δυναμικά, ο αρμονικός ταλαντωτής.


- AM436: Μερικές Διαφορικές Εξισώσεις (6 ECTS)

Αν. Τόγκας

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


- DI432: Εισαγωγή στην Παιδαγωγική Επιστήμη (6 ECTS)

Αν. Πατρώνης

Μέρος Πρώτο. Εξέλιξη της Παιδαγωγικής: από “τέχνη” ή ουτοπικό σύστημα σε επιστήμη. Ζητήματα θεωρητικής θεμελίωσης. Άλλες σχετικές επιστήμες, “θεωρίες μάθησης”.
Μέρος Δεύτερο. Κοινωνική λειτουργία του Σχολείου. Αναλυτικά προγράμματα & Σκοποί της Εκπαίδευσης – ιδιαίτερα στα Μαθηματικά. Πολυπολιτισμικότητα. Διεπιστημονικότητα.
Μέρος Τρίτο. Αυταρχική και φιλελεύθερη αγωγή/εκπαίδευση. Κοινωνικές αναπαραστάσεις για το “σωστό” και το “λάθος” στα Μαθηματικά.


- DI463: Ιστορία των Μαθηματικών (6 ECTS)

Δεν προσφέρεται το ακαδημαϊκό έτος 2016-17

Τα προεπιστημονικά εμπειρικά Μαθηματικά των αρχαίων πολιτισμών. Οι απαρχές των ελληνικών Μαθηματικών, η συγκρότηση των Μαθηματικών σε αξιωματική - παραγωγική επιστήμη. Τα τρία περίφημα προβλήματα της ελληνικής αρχαιότητας. Η συμβολή των αρχαιοελληνικών φιλοσοφικών ρευμάτων στη διαμόρφωση της μαθηματικής σκέψης. Το αξιωματικό σύστημα του Ευκλείδη. Ο Αρχιμήδης και η αρχαία μέθοδος της ολοκλήρωσης. Τα Μαθηματικά και οι άλλες επιστήμες (Αστρονομία - Οπτική - Ακουστική - Στατική - Υδροστατική - Κινηματική). Ορισμένα στοιχεία από την τεχνολογία της εποχής. Η τυπική λογική (formal logic) στην κλασική Αρχαιότητα. Τα Μαθηματικά μετά τον Αρχιμήδη: ο Απολλώνιος, ο Πάππος, ο Ήρωνας, ο Διόφαντος.


- ST434: Γραμμικά Μοντέλα (6 ECTS)

Φ. Αλεβίζος

Εισαγωγή στην απλή γραμμική παλινδρόμηση και σχέσεις ευθείας γραμμής μεταξύ δυο μεταβλητών. Το απλό γραμμικό μοντέλο. Προσαρμογή ευθείας γραμμής, εκτίμηση των παραμέτρων με τη μέθοδο των ελαχίστων τετραγώνων. Υποθέσεις των Gauss - Markov για τα υπόλοιπα και ιδιότητες των εκτιμητών ελαχίστων τετραγώνων. Πίνακας ανάλυσης διασποράς, έλεγχοι υποθέσεων και διαστήματα εμπιστοσύνης. Εξέταση των υπολοίπων. Μελέτη της γραμμικής παλινδρόμησης με πίνακες. Πολλαπλή γραμμική παλινδρόμηση. Το πολλαπλό γραμμικό μοντέλο. Πολυωνυμικά μοντέλα. Η χρήση εικονικών μεταβλητών. Διαδικασία επιλογής της καλύτερης εξίσωσης προσαρμογής.


- ST435: Επιχειρησιακή Έρευνα (6 ECTS)

N. Τσάντας

(i) Δικτυωτή Ανάλυση. Μοντέλα για το πρόβλημα της συντομότερης διαδρομής, του ζευγνύοντος δέντρου και της μέγιστης ροής. Χρονικός Προγραμματισμός Έργων (η μέθοδος PERT/CPM, η διακύμανση της διάρκειας ολοκλήρωσης ενός έργου, βελτιστοποίηση κόστους του έργου, έλεγχος δραστηριοτήτων έργου).
(ii) Αρχές Δυναμικού Προγραμματισμού. Βασικές έννοιες, προσδιοριστικά και στοχαστικά μοντέλα διαδρομής και αντικατάστασης – συντήρησης εργαλείων. Το πρόβλημα του βέλτιστου φορτίου. Το πρόβλημα του περιοδεύοντος πωλητή. Προβλήματα παραγωγής και αποθήκευσης.
(iii) Θεωρία Παιγνίων. Παίγνια τέλειας πληροφόρησης (ισορροπία Nash, μικτές στρατηγικές).


- ST436: Στοχαστικές Διαδικασίες (6 ECTS)

Ι. Δημητρίου

Προκαταρκτικές έννοιες από τη Θεωρία Πιθανοτήτων. Γενικά περί στοχαστικών διαδικασιών. Μαρκοβιανές αλυσίδες σε διακριτό χρόνο. Πίνακας πιθανοτήτων μετάβασης, εξισώσεις Chapman-Kolmogov. Πιθανότητες πρώτης επίσκεψης (ή επιστροφής) και κατανομή της χρονικής στιγμής πρώτης επίσκεψης (ή επιστροφής). Ταξινόμηση καταστάσεων. Επαναλαμβανόμενες καταστάσεις, παροδικές καταστάσεις, απορροφητικές περιοδικές καταστάσεις, μη περιοδικές καταστάσεις. Κλάσεις επικοινωνούντων καταστάσεων. Κλειστά σύνολα καταστάσεων. Κανονική μορφή του πίνακα μετάβασης. Οριακή συμπεριφορά καταστάσεων, εργοδικό θεώρημα, στάσιμη κατανομή. Μελέτη τυχαίων περιπάτων. Χρεωκοπία του παίκτη. Μαρκοβιανές αλυσίδες σε συνεχή χρόνο. Πίνακας γεννήτορας, εξισώσεις Kolmogorov, οριακή συμπεριφορά καταστάσεων. Διαδικασία Poisson, διαδικασία γεννήσεων-θανάτoυ. Εισαγωγή στα συστήματα ουρών.


- IC334: Αριθμητική Γραμμική Άλγεβρα (6 ECTS)

Σ. Κωτσιαντής

Διαχωρισμός μητρώων, Παραγοντοποίηση μητρώων (μέθοδοι: LU, LDLt, Choleski), Αριθμητική επίλυση γραμμικών συστημάτων (μέθοδοι: LU, SOR, Crout). Κανονική μορφή Jordan. Αριθμητικός υπολογισμός ιδιοτιμών και ιδιοδιανυσμάτων: επαναληπτικές μέθοδοι (μέθοδος της δυνάμεως-παραλλαγές της μεθόδου της δυνάμεως), ακολουθία Sturm, μέθοδοι μετασχηματισμού (Jacobi, Givens, Householder, LR και QR). Γραμμική μέθοδος ελαχίστων τετραγώνων, Αριθμητικός υπο¬λογισμός ιδιαζουσών τιμών.


- IC336: Δομές Δεδομένων (6 ECTS)

Π. Αλεβίζος

Εισαγωγικά: η έννοια του αλγόριθμου και της δομής δεδομένων. Βασικά χαρακτηριστικά ενός αλγορίθμου. Οι πίνακες (arrays) ως δομή δεδομένων. Αραιοί πίνακες. Αφηρημένοι τύποι δεδομένων (abstract data types). Ορισμός της πολυπλοκότητας χρόνου και χώρου ενός αλγορίθμου. Δυναμικές δομές δεδομένων: στοίβες, ουρές αναμονής, τύποι διασυνδεδεμένων λιστών (διατεταγμένες, απλά ή διπλά διασυνδεδεμένες, κυκλικές), δέντρα. Βασικές πράξεις σε δυναμικές δομές δεδομένων. Διαδικασίες προσπέλασης (searching) σε μια δομή δεδομένων. 2-3 δέντρα και AVL δέντρα. Αλγόριθμοι για το πρόβλημα της διάταξης ακολουθιών (sorting): Διάταξη με συγχώνευση (Mergesort), διάταξη με τη χρήση σωρού (Heapsort), Qiucksort. Το πρόβλημα UNION-FIND και εφαρμογή του στην εύρεση ενός ελάχιστου παράγοντος δέντρου σε γράφημα.


- IC437: Λειτουργικά Συστήματα (6 ECTS)

Δ. Καββαδίας

Εισαγωγή. Στοιχεία αρχιτεκτονικής ενός επεξεργαστή. Χειρισμός διακοπών (interrupts). Λειτουργίες ενός Λειτουργικού Συστήματος (ΛΣ). Η έννοια της διαδικασίας (process). Ο χειρισμός των διαδικασιών. Χρονοπρογραμματισμός διαδικασιών - αλγόριθμοι. Ασύγχρονες ταυτόχρονες διαδικασίες. Ο αλγόριθμος του Dekker. Σημαφόροι, monitors. Προβλήματα αμοιβαίου αποκλεισμού. Η διαχείριση της μνήμης. Η δευτερεύουσα μνήμη. Ο χρονοπρογραμματισμός του δίσκου. Η κεντρική μνήμη. Τεχνικές τοποθέτησης διαδικασιών στη μνήμη, συνεχής/μη-συνεχής τοποθέτηση. Εικονική μνήμη. Μη συνεχής τοποθέτηση στη μνήμη, τμηματοποίηση-σελιδοποίηση. Συσχετιστική μνήμη. Τεχνικές αντικατάστασης σελίδων. Μελέτη περίπτωσης: σύστημα UNIX.


- PM462: Γενική Τοπολογία ΙΙ (6 ECTS)

Δεν προσφέρεται το ακαδημαϊκό έτος 2016-17

Συμπαγείς χώροι και συνεκτικοί χώροι. Συνεχή, τοπικά συνεκτικά συνεχή και ιδιότητες αυτών. Καμπύλες, γραφήματα και ιδιότητες αυτών. Μονόπλοκα, σύμπλοκα και πολύεδρα. Παραδείγματα.


- PM463: Τανυστική Ανάλυση και Γεωμετρία (6 ECTS)

Δεν προσφέρεται το ακαδημαϊκό έτος 2016-17

-


- AM262: Αναλυτική Μηχανική (6 ECTS)

Στ. Αναστασίου

Γενικευμένες συντεταγμένες. Δεσμοί. Πραγματικές και δυνατές μετατοπίσεις. Ιδανικοί δεσμοί. Λογισμός Μεταβολών. Αρχή Ελάχιστης Δράσης. Εξισώσεις Euler-Lagrange. Μετασχηματισμός Legendre. Εξισώσεις Hamilton και Άλγεβρες Poisson. Θεωρία Διαταραχών. Γεννήτριες συναρτήσεις. Κανονικοί Μετασχηματισμοί. Θεώρημα του Liouville. Εξίσωση Hamilton-Jacobi. Μεταβλητές δράσης-γωνίας.


- AM466: Μηχανική των Ρευστών (6 ECTS)

Ιάκ. Βαν Ντερ Βέιλε

Βασικές έννοιες και ιδιότητες των ρευστών (πυκνότητα, ειδικό βάρος, ένταση, συμπιεστότητα, ιξώδες. Εφαρμογές). Στατική των ρευστών (ισορροπία ρευστού, μεταβολή της πίεσης, εξισώσεις ισορροπίας, αρχή Pascal. Εφαρμογές). Κινηματική των ρευστών (ολική παράγωγος, ταχύτητα, επιτάχυνση, ρευματικές γραμμές, αστρόβιλη ροή και δυναμικό ταχύτητας. Εφαρμογές). Ανάλυση της κίνησης των ρευστών (μετάθεση, περιστροφή, γραμμική και γωνιακή παραμόρφωση. Εφαρμογές). Εξίσωση συνέχειας και ροϊκή συνάρτηση (εξίσωση συνέχειας σε διάφορα συστήματα συντεταγμένων, ροϊκή συνάρτηση, μιγαδικό δυναμικό. Εφαρμογές). Εξίσωση κίνησης για ιδανικά ρευστά και ολοκληρώματα αυτών (εξίσωση Euler, εξίσωση Bernoulli, θεώρημα Lagrange. Εφαρμογές).


- AM464: Ειδικές Συναρτήσεις (6 ECTS)

Χρ. Κοκολογιαννάκη

Συναρτήσεις Γάμμα, Βήτα και συνάρτηση σφάλματος. Συναρτήσεις Bessel πρώτου και δευτέρου είδους. Γραμμική ανεξαρτησία και αναδρομικές σχέσεις αυτών. Τροποποιημένες συναρτήσεις Bessel πρώτου και δευτέρου είδους. Γραμμική ανεξαρτησία και αναδρομικές σχέσεις αυτών. Επίλυση ΣΔΕ με την βοήθεια των συναρτήσεων Bessel. Ολοκληρώματα Lommel. Ρίζες των συναρτήσεων Bessel. Σειρές Fourier-Bessel. Γενικά περί ορθογωνίων πολυωνύμων. Αναδρομική σχέση τριών όρων. Τύπος των Darboux-Christofell. Ρίζες των ορθογωνίων πολυωνύμων. Τύπος Rodrigues. Γεννήτρια συνάρτηση. Εφαρμογές στα κλασσικά ορθογώνια πολυώνυμα.


- ST462: Ειδικά Θέματα Πιθανοτήτων και Στατιστικής (6 ECTS)

Δεν προσφέρεται το ακαδημαϊκό έτος 2016-17

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


- IC468: Αριθμητική Επίλυση Μερικών Διαφορικών Εξισώσεων (6 ECTS)

Δεν προσφέρεται το ακαδημαϊκό έτος 2016-17

Μελετώνται οι θεμελιώδεις αριθμητικές τεχνικές για διάφορες μερικές διαφορικές εξισώσεις (υπερβολικού, ελλειπτικού και παραβολικού τύπου). Αυτές οι τεχνικές περιλαμβάνουν τις εξής μεθόδους: πεπερασμένες διαφορές, πεπερασμένα στοιχεία, φασματικές μεθόδους, μεθόδους λογισμού μεταβολών, βελτιστοποίησης κ.λπ. Η αριθμητική υλοποίηση των εξεταζόμενων μεθόδων μελετάται μέσα από διάφορες υπολογιστικές πλατφόρμες (όπως Matlab, Python-Sage, Mathematica και Maple).


- IC463: Αριθμητική Επίλυση Υπερβατικών Εξισώσεων (6 ECTS)

Μ. Βραχάτης

Το υπόβαθρο. Εντοπισμός και απομόνωση λύσεων. Τοπολογικός βαθμός. Μέθοδοι για τον υπολογισμό του τοπολογικού βαθμού. Μέθοδοι Stenger και Kearfott. Θεωρήματα ύπαρξης λύσεων Kronecker και Picard. Υπολογισμός ακριβούς πλήθους λύσεων. Ύπαρξη σταθερών σημείων. Θεωρήματα Brouwer και Miranda. Υπολογισμός σταθερών σημείων. Λήμμα των Knaster-Kuratowski-Mazurkiewicz. Λήμμα των Scarf-Hansen. Λήμμα του Sperner. Τριγωνοποιήσεις. Μέθοδος του Scarf. Μέθοδοι μιας μεταβλητής. Υπολογισμός λύσεων συστημάτων μη γραμμικών αλγεβρικών και υπερβατικών εξισώσεων. Μέθοδοι Newton, τύπου Newton, γενικευμένης χορδής, Broyden. Μη γραμμικές μέθοδοι Successive Overrelaxation (SOR), Gauss-Seidel και Jacobi. Γενικευμένες μέθοδοι διχοτόμησης. Αριθμητικές μέθοδοι βελτιστοποίησης υπερβατικών εξισώσεων.


- IC469: Βάσεις Δεδομένων (6 ECTS)

Αθ. Βεργούλης

Σκοπός και χρήση συστημάτων βάσεων δεδομένων. Μοντέλα δεδομένων, σχήματα δεδομένων, αρχιτεκτονική βάσεων δεδομένων. Το μοντέλο οντοτήτων - σχέσεων, περιορισμοί και γενικεύσεις. Δομή αρχείων και φυσική οργάνωση. Απεικόνιση δομών σε αρχεία. Δεικτοδότιση (indexing) και κερματισμός (hashing). Σχεσιακές βάσεις δεδομένων. Σχεσιακή άλγεβρα. Η γλώσσα SQL. Παραδείγματα αναζητήσεων. Μελέτη πραγματικών συστημάτων (π.χ. Oracle και Access). Θεωρητικά ζητήματα. Συναρτησιακές εξαρτήσεις. Κανονικοποίηση. Κανονικές μορφές. Θέματα σχεδιασμού βάσεων δεδομένων. Θέματα ασφάλειας βάσεων δεδομένων. Ειδικά θέματα.


- IC361: Γλώσσες Προγραμματισμού ΙΙ (6 ECTS)

Ομ. Ράγγος

Ταυτοχρονισμένος Προγραμματισμός. Εισαγωγή στη γλώσσα Ada, μηχανισμοί συγχρονισμού στην Ada (tasks, συγχρονισμός με rendezvous, συγχρονισμός με χρήση protected objects).
Χειρισμός Εξαιρέσεων. Εισαγωγή, σχεδιασμός χειρισμού εξαιρέσεων. Xειρισμός εξαιρέσεων στη C++ (έγερση εξαιρέσεων, try blocks, χειρισμός εξαιρέσεων, λίστες εξαιρέσεων σε συναρτήσεις). Χειρισμός εξαιρέσεων στην Ada (ενσωματωμένα είδη εξαιρέσεων, δηλώσεις εξαιρέσεων, έγερση εξαιρέσεων, when blocks, χειρισμός εξαιρέσεων, μεταβίβαση χειρισμού εξαιρέσεων).
Συναρτησιακός Προγραμματισμός. λ-Λογισμός (σύνταξη και διαισθητική σημασιολογία του λ-Λογισμού, ελεύθερες και δεσμευμένες εμφανίσεις, κανόνες και σημασιολογία υπολογισμών). Βασικά στοιχεία Συναρτησιακού Προγραμματισμού στη γλώσσα Common LISP (αυτοϋπολογιζόμενες μορφές, μεταβλητές, λίστες, ειδικές μορφές, συναρτήσεις, μακροεντολές, συγκρίσεις, λογικοί τελεστές και υπολογισμοί υπό συνθήκη, επαναληπτικές διαδικασίες, είσοδος και έξοδος δεδομένων). Εργαστηριακές ασκήσεις.


- OR461: Φυσική της Ατμόσφαιρας Ι - Μετεωρολογία Ι (6 ECTS)

Ι. Κιουτσιούκης

Ι. Κιουτσιούκης Η ατμόσφαιρα της γης. Γενικά – Μεγέθη, μονάδες, συμβάσεις. Πάχος και μάζα της ατμόσφαιρας. Σύσταση κατώτερης ατμό¬σφαιρας. Θερμοκρασία της ατμόσφαιρας. Κατακόρυφη κατανομή της θερμοκρασίας – θερμοβαθμίδα. Πίεση της ατμόσφαιρας – Χάρτες επιφανείας – Χάρτες. Γεωδυναμικό – Γεωδυναμικό ύψος. Απλά ατμοσφαιρικά πρότυπα. Οι υδρατμοί στην ατμόσφαιρα. Θερμοδυναμική της ατμόσφαιρας. Καταστατική εξίσωση. Πρώτο Θερμοδυναμικό αξίωμα. Θερμοδυναμικές μεταβολές στην ατμόσφαιρα. Ισοδύναμη θερμοκρασία. Δυνητική θερμοκρασία. Στατική της ατμόσφαιρας. Η κατακόρυφη θερμοβαθμίδα ως μέτρο αστάθειας. Θερμοκρασιακές αναστροφές. Η ενέργεια της ατμόσφαιρας ως μέτρο της αστάθειας. Φυσική των νεφών. Συμπύκνωση των υδρατμών. Θεωρίες σχηματισμού της βροχής. Ταξινόμηση των νεφών. Κίνηση αερίων μαζών. Δυνάμεις που καθορίζουν την κίνηση. Εξισώσεις κίνησης. Αντισταθμιστικές κινήσεις. Κίνηση ανέμου στο οριακό στρώμα. Αέριες μάζες. Χαρακτηριστικά αερίων μαζών. Μέτωπα – Είδη μετώπων. Μόνιμες μετωπικές επιφάνειες. Υφέσεις. Αντικυλώνες. Γενική κυκλοφορία της ατμό¬σφαιρας. Άνεμοι στην επιφάνεια του πλανήτη. Άνεμοι στην τροπόσφαιρα – Δακτύλιοι Ηadley. Μακρά κύματα στην τροπόσφαιρα (κύματα Rossby). Κλίμα. Παράγοντες που επηρεάζουν το κλίμα. Μεταβλητότητα του κλίματος. Μηχανισμοί ανάδρασης. Κλιματική αλλαγή.


- AL462: Πρακτική Άσκηση
Απαιτείται η ένταξή της στο Πρόγραμμα Πρακτικής Άσκησης του Πανεπιστημίου Πατρών η οποία κι αναμένεται πριν την έναρξη του επόμενου ακαδημαϊκού έτους 2017-2018.
 
(c) 2007-2017 Τμήμα Μαθηματικών
Πανεπιστήμιο Πατρών
Joomla! is Free Software released under the GNU/GPL License.