ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ / Theoritical Informatics II |
| Κωδικός | 0432 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό |
| Περίοδος Διδασκαλίας | Εαρινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Ναι |
| Κατάσταση | Ενεργό |
| Course ID | 40000484 |
Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)
Εγγεγραμμένοι φοιτητές: 187
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| Κορμός | Υποχρεωτικό Κατ' Επιλογήν | Εαρινό | - | 5,5 |
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ |
| Ακαδημαϊκό Έτος | 2023 – 2024 |
| Περίοδος Τάξης | Εαρινή |
| Διδάσκοντες μέλη ΔΕΠ |
|
| Ώρες Εβδομαδιαία | 3 |
| Class ID | 600230581
|
Τύπος Μαθήματος 2016-2020
- Υποβάθρου
- Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600230581
- eLearning (Moodle): https://elearning.auth.gr/course/view.php?id=12922
- Άλλη: http://users.auth.gr/grahonis/TCS_II.html
Erasmus
Το μάθημα προσφέρεται και σε φοιτητές
προγραμμάτων ανταλλαγής.
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Προαπαιτούμενα Μαθήματα
- 0401 ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
Γενικές Προαπαιτήσεις
Γνώση και ικανότητα διαχείρησης βασικών εννοιών θεωρίας πεπερασμένων αυτομάτων, MSO λογικής, FO λογικής και LTL. Περιγραφή εφαρμογών στον έλεγχο μοντέλων.
Μαθησιακά Αποτελέσματα
Με την επιτυχή ολοκλήρωση του μαθήματος, οι φοιτητές θα είναι σε θέση να:
Κατανοήσουν τις ιδιότητας κλειστότητας της κλάσης των αναγνωρίσιμων γλωσσών μέσω ομομορφισμών. Να κατανοήσουν τις βασικές έννοιες των MSO, FO και LTL λογικών. Να καταλάβουν την εκφραστική ισοδυναμία της MSO λογικής με τα πεπερασμένα αυτόματα. Να κατανοήσουν την εκφραστική ισοδυναμία της FO και LTL λογικής. Να μπορούν με απλά παραδείγματα να περιγράψουν την εφαρμογή της LTL στο έλεγχο μοντέλων.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
- Προσαρμογή σε νέες καταστάσεις
- Λήψη αποφάσεων
- Αυτόνομη εργασία
- Ομαδική εργασία
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
- Άσκηση κριτικής και αυτοκριτικής
- Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Ιδιότητες κλειστότητας της κλάσης των αναγνωρίσιμων γλωσσών μέσω ομομορφισμών. Μοναδιακή λογική δεύτερης τάξης (MSO logic). Εκφραστική ισοδυναμία αυτομάτων και προτάσεων MSO λογικής. Λογική πρώτης τάξης. Γραμμική χρονική λογική (LTL). Εκφραστική ισοδυναμία λογικής πρώτης τάξης και γραμμικής χρονικής λογικής. Εφαρμογές στον έλεγχο μοντέλων.
Λέξεις Κλειδιά
Πεπερασμένα αυτόματα, MSO λογική, FO λογική LTL.
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
- Βιβλίο
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 39 | 1,3 | ✓ | ✓ | |
| Μελέτη και ανάλυση βιβλίων και άρθρων | 123 | 4,1 | |||
| Εξετάσεις | 3 | 0,1 | |||
| Σύνολο | 165 | 5,5 |
Αξιολόγηση Φοιτητών
Περιγραφή
Γραπτή Τελική Εξέταση
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Πολλαπλής Επιλογής (Συμπερασματική)
- Προφορική Εξέταση (Διαμορφωτική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού, H.Lewis, Χ.Παπαδημητρίου, Κριτική, 2005, Αθήνα.
- Εισαγωγή στη Θεωρία Υπολογισμού, M. Sipser, Παν/κές Εκδόσεις Κρήτης, 2007 έδοση 2009.
Επιπρόσθετη βιβλιογραφία για μελέτη
- John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to Automata Theory,
Languages, and Computation, Addison-Wesley, 3rd edition 2007.
- Juraj Hromkovic, Theoretical Computer Science, Texts in Theoretical Computer
Science, EATCS Series, Springer, 2004.
- Harry Lewis, Christos Papadimitriou, Elements of the Theory of Computation,
Prentice-Hall Inc., 2nd edition 1998.
- Grzegorz Rozenberg, Arto Salomaa eds., Handbook of Formal Languages, volumes 1-3,
Springer-Verlag, Berlin, 1997.
Τελευταία Επικαιροποίηση
24-01-2024
