ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ / Automata in Semi-rings |
| Κωδικός | 0865 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 2ος / Μεταπτυχιακό |
| Περίοδος Διδασκαλίας | Χειμερινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Ναι |
| Κατάσταση | Ενεργό |
| Course ID | 600000888 |
Πρόγραμμα Σπουδών: ΠΜΣ Τμήματος Μαθηματικών (2018-σήμερα)
Εγγεγραμμένοι φοιτητές: 12
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΘΕΩΡΙΑ ΣΥΣΤΗΜΑΤΩΝ KAI ΕΛΕΓΧΟΥ | Α | 1 | 1 | 10 |
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ |
| Ακαδημαϊκό Έτος | 2025 – 2026 |
| Περίοδος Τάξης | Χειμερινή |
| Διδάσκοντες μέλη ΔΕΠ | |
| Ώρες Εβδομαδιαία | 3 |
| Ώρες Συνολικά | 39 |
| Class ID | 600290409
|
Τύπος Προσφοράς
- Επιστημονικής Περιοχής
Τύπος Μαθήματος
Eιδίκευσης / Kατεύθυνσης
Τύπος Μαθήματος 2011-2015
Εμβάθυνσης / Εμπέδωσης Γνώσεων
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
- Eξ απoστάσεως εκπαίδευση
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600290409
- Άλλη: https://grahonis.webpages.auth.gr/AOS.html
Erasmus
Το μάθημα προσφέρεται και σε φοιτητές
προγραμμάτων ανταλλαγής.
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
Θεωρία αυτομάτων
Μαθησιακά Αποτελέσματα
Με την επιτυχή ολοκλήρωση του μαθήματος, οι φοιτητές θα:
1. γνωρίζουν τη βασική θεωρία ημιδακτυλίων και ειδικά αυτών που χρησιμοποιούνται σε εφαρμογές
2. γνωρίζουν τις ιδιότητες των τυπικών δυναμοσειρών
3. γνωρίζουν τα αυτόματα με βάρη από ημιδακτύλιους, και θα μπορούν να υπολογίζουν τη συμπεριφορά τους και να αποδεικνύουν τις ιδιότητες κλειστότητας της κλάσης των συμπεριφορών των αυτομάτων με τις πράξεις των τυπικών δυναμοσειρών
4. μπορούν να αποδείξουν προβλήματα αποφασιμότητας για τα αυτόματα σε ημιδακτύλιους
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
- Λήψη αποφάσεων
- Αυτόνομη εργασία
- Ομαδική εργασία
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
- Άσκηση κριτικής και αυτοκριτικής
- Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Ημιδακτύλιοι. Αυτόματα με βάρη σε ημιδακτύλιους. Αναγνωρίσιμες σειρές. Ιδιότητες αναγνωρίσιμων σειρών. Το πρόβλημα της προσδιοστότητας των αυτομάτων με βάρη. Προβλήματα αποφασισιμότητας. Εφαρμογές: Ασαφείς γλώσσες. Ψηφιακή συμπίεση εικόνας.
Λέξεις Κλειδιά
Ημιδακτύλιοι, αυτόματα σε ημιδακτύλιους, σειρές
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
- Πολυμεσικό υλικό
- Βιβλίο
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
Χρήση Τ.Π.Ε.
- Χρήση Τ.Π.Ε. στη Διδασκαλία
- Χρήση Τ.Π.Ε. στην Επικοινωνία με τους φοιτητές
- Χρήση Τ.Π.Ε. στην Αξιολόγηση των Φοιτητών
Περιγραφή
Χρήση προγράμματος Maude για προσομοίωση αυτομάτων σε ημιδακτύλιους σε εφαρμογές υλικού. Ώρες ασκήσεων μέσω διαδικτύου.
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 39 | 1,3 | ✓ | ||
| Μελέτη και ανάλυση βιβλίων και άρθρων | 183 | 6,1 | ✓ | ||
| Φροντιστήριο | 13 | 0,4 | |||
| Εκπόνηση μελέτης (project) | 20 | 0,7 | ✓ | ||
| Συγγραφή εργασίας / εργασιών | 40 | 1,3 | ✓ | ||
| Εξετάσεις | 5 | 0,2 | ✓ | ||
| Σύνολο | 300 | 10 |
Αξιολόγηση Φοιτητών
Περιγραφή
Υπολογισμός τελικού βαθμού
1. Εργασία 40%
2. Τελικές γραπτές εξετάσεις 60%
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική, Συμπερασματική)
- Γραπτή Εξέταση με Ερωτήσεις Εκτεταμένης Απάντησης (Διαμορφωτική, Συμπερασματική)
- Γραπτή Εργασία (Διαμορφωτική, Συμπερασματική)
- Δημόσια Παρουσίαση (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
Σημειώσεις του διδάσκοντα
Επιπρόσθετη βιβλιογραφία για μελέτη
- M. Droste, W. Kuich, and H. Vogler, eds., Handbook of Weighted Automata, EATCS Monographs in Theoretical
Computer Science, Springer, 2009.
- Z. Ésik, W. Kuich, Modern Automata Theory, http://www.dmg.tuwien.ac.at/kuich/mat.ps
- W. Kuich, Semirings and formal power series: Their relevance to formal languages and automata theory, in:
Handbook of of Formal Languages, volume 1, Chapter 9, Springer, Berlin, pages 609-667.
- W. Kuich A. Salomaa, Semirings, Automata, Languages, EATCS Monographs in Theoretical Computer Science,
Springer, 1986.
- J. Sakarovitch, Elements of Automata Theory, Cambridge, 2009.
- A. Salomaa, M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer, Berlin, 1978.
- J. Berstel, Ch. Reutenauer, Rational Series and Their Languages, EATCS Monographs in Theoretical Computer
Science, Springer, 1988.
Τελευταία Επικαιροποίηση
07-05-2025
