ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ / AUTOMATA IN SEMIRINGS |
| Κωδικός | ΣΜΥ024 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 2ος / Μεταπτυχιακό |
| Περίοδος Διδασκαλίας | Χειμερινή/Εαρινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Όχι |
| Κατάσταση | Ενεργό |
| Course ID | 600025960 |
Πρόγραμμα Σπουδών: ΠΜΣ Τμήματος Μαθηματικών (2025-2030)
Εγγεγραμμένοι φοιτητές: 0
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| ΣΤΑΤΙΣΤΙΚΗ, ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΚΑΙ ΥΠΟΛΟΓΙΣΤΙΚΕΣ ΜΕΘΟΔΟΙ | Υποχρεωτικό Επιλογής | Χειμερινή | - | 10 |
| Τίτλος | ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ |
| Ακαδημαϊκό Έτος | 2025 – 2026 |
| Περίοδος Τάξης | Χειμερινή |
| Διδάσκοντες μέλη ΔΕΠ | |
| Ώρες Εβδομαδιαία | 3 |
| Ώρες Συνολικά | 39 |
| Class ID | 600268407
|
Τύπος Μαθήματος
Eιδίκευσης / Kατεύθυνσης
Τύπος Μαθήματος 2011-2015
Εμβάθυνσης / Εμπέδωσης Γνώσεων
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600268407
- Άλλη: http://users.auth.gr/grahonis/AOS.html
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
- Αγγλικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
Η ύλη των μαθημάτων
Θεωρητική Πληροφορική Ι
θεωρητική Πληροφορική ΙΙ
του προπτυχιακού προγράμματος σπουδών
Μαθησιακά Αποτελέσματα
Οι φοιτητές με την περάτωση του μαθήματος γνωρίζουν την έννοια του αυτομάτου με βάρη από αντιμεταθετικό ημιδακτύλιο Κ, της συμπεριφοράς του, και τις ιδιότητες της κλάσης των συμπεριφορών των αυτομάτων με βάρη από τον Κ. Θα κατανοήσουν τη διαφορά και την αυξημένη δυσκολία στις αποδεικτικές μεθόδους που χρησιμοποιούνται στα αυτόματα με βάρη σε σχέση με τις αντίστοιχες μεθόδους στα πεπερασμένα αυτοματα. Θα κατανοήσουν ακόμη τις διαφορές ανάμεσα στα πεπερασμένα αυτόματα και σε αυτά με βάρη σε σχέση με την ισοδυναμία deterministic και non-deterministic μοντέλων, και τις ιδιότητες αποφασισιμότητας.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Λήψη αποφάσεων
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
Περιεχόμενο Μαθήματος
Ημιδακτύλιοι. Αυτόματα με βάρη σε ημιδακτύλιους. Αναγνωρίσιμες σειρές. Ιδιότητες αναγνωρίσιμων σειρών. Το πρόβλημα της προσδιοστότητας των αυτομάτων με βάρη. Προβλήματα αποφασισιμότητας. Εφαρμογές: Ασαφείς γλώσσες. Αλγόριθμοι μηχανικής μάθησης για αυτόματα σε ημιδακτύλιους.
Λέξεις Κλειδιά
Ημιδακτύλιοι, αυτόματα σε ημιδακτύλιους, σειρές
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 39 | ✓ | |||
| Μελέτη και ανάλυση βιβλίων και άρθρων | 258 | ✓ | |||
| Εξετάσεις | 3 | ✓ | |||
| Σύνολο | 300 |
Αξιολόγηση Φοιτητών
Περιγραφή
Γραπτές εξετάσεις
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Συμπερασματική)
- Γραπτή Εξέταση με Ερωτήσεις Εκτεταμένης Απάντησης (Διαμορφωτική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική)
Βιβλιογραφία
Επιπρόσθετη βιβλιογραφία για μελέτη
- 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.
Τελευταία Επικαιροποίηση
01-12-2024
