ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I / Theoretical Informatics I |
| Κωδικός | 0401 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό |
| Περίοδος Διδασκαλίας | Εαρινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Όχι |
| Κατάσταση | Ενεργό |
| Course ID | 40000480 |
Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)
Εγγεγραμμένοι φοιτητές: 419
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| Κορμός | Υποχρεωτικό | 2 | 1 | 5,5 |
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I |
| Ακαδημαϊκό Έτος | 2020 – 2021 |
| Περίοδος Τάξης | Εαρινή |
| Διδάσκοντες μέλη ΔΕΠ |
|
| Ώρες Εβδομαδιαία | 3 |
| Class ID | 600166764
|
| Τμήμα | Διδάσκοντες |
|---|---|
| 1. ΤΜΗΜΑ Α | Γεώργιος Ραχώνης |
| 2. ΤΜΗΜΑ Β | Γεώργιος Ραχώνης |
Τύπος Μαθήματος 2016-2020
- Υποβάθρου
- Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600166764
- Άλλη: http://users.auth.gr/grahonis/TCS.html
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
Μαθησιακά Αποτελέσματα
- Kατανόηση της αυστηρής μαθηματικής μοντελοποίησης των αλγορίθμων, με την βοήθεια των πεπερασμένων αυτομάτων.
- Eμβάθυνση στις έννοιες των πεπερασμένων αυτομάτων, τις αναγνωρίσιμες γλώσσες, τις ρητές γλώσσες.
- Ελαχιστοποίηση αλγορίθμων που περιγράφονται από αυτόματα.
- Δυνατότητα διάκρισης μεταξύ αναγνωρίσιμης και μη αναγνωρίσιμης γλώσσας.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
- Προσαρμογή σε νέες καταστάσεις
- Λήψη αποφάσεων
- Αυτόνομη εργασία
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
- Άσκηση κριτικής και αυτοκριτικής
Περιεχόμενο Μαθήματος
Προκαταρκτικά: Σύνολα, σχέσεις, αλγόριθμοι. Ρυθμός αύξησης συνάρτησης. Αλφάβητα και τυπικές γλώσσες. Πεπερασμένα αυτόματα: Πλήρη, προσδιοριστά, μη-προσδιοριστά, ισοδυναμία. Αναγνωρίσιμες γλώσσες. Κριτήριο για τη μη-αναγνωρισιμότητα γλωσσών. Ρητές γλώσσες. Αλγόριθμοι για την ελαχιστοποίηση αυτομάτων. Αποτελέσματα αποφασιμότητας.
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
- Βιβλίο
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 39 | 1,3 | ✓ | ||
| Μελέτη και ανάλυση βιβλίων και άρθρων | 123 | 4,1 | |||
| Εξετάσεις | 3 | 0,1 | |||
| Σύνολο | 165 | 5,5 |
Αξιολόγηση Φοιτητών
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Συμπερασματική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού των Η. Lewis και Χ. Παπαδημητρίου.
- Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser.
Επιπρόσθετη βιβλιογραφία για μελέτη
- 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.
Τελευταία Επικαιροποίηση
21-04-2020
