ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ
| Τίτλος | ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ / THEORY OF COMPUTATION |
| Κωδικός | NCO-02-05 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Πληροφορικής |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό |
| Περίοδος Διδασκαλίας | Εαρινή |
| Υπεύθυνος/η | Παναγιώτης Κατσαρός |
| Κοινό | Όχι |
| Κατάσταση | Ενεργό |
| Course ID | 40002922 |
Πρόγραμμα Σπουδών: ΠΠΣ-Τμήμα Πληροφορικής (2019-σήμερα)
Εγγεγραμμένοι φοιτητές: 461
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| ΓΕΝΙΚΗ ΚΑΤΕΥΘΥΝΣΗ | Υποχρεωτικό | 2 | 1 | 6 |
| Τίτλος | ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ |
| Ακαδημαϊκό Έτος | 2020 – 2021 |
| Περίοδος Τάξης | Εαρινή |
| Διδάσκοντες μέλη ΔΕΠ |
|
| Ώρες Εβδομαδιαία | 5 |
| Class ID | 600180146
|
Τύπος Μαθήματος 2016-2020
- Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/600180146
- eLearning (Moodle): https://elearning.auth.gr/course/view.php?id=8083
Erasmus
Το μάθημα προσφέρεται και σε φοιτητές
προγραμμάτων ανταλλαγής.
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
Είναι επιθυμητό να προϋπάρχει βασική γνώση Διακριτών Μαθηματικών (θεωρία συνόλων, σχέσεις, συναρτήσεις, τεχνικές απόδειξης). Γίνεται προσπάθεια να καλυφθεί εν συντομία η συγκεκριμένη ύλη στην εισαγωγή του μαθήματος.
Μαθησιακά Αποτελέσματα
Γνωστικά: Βασική επιδίωξη του μαθήματος είναι οι φοιτητές να γνωρίσουν τις θεμελιώσεις και τις αρχές της επιστήμης των υπολογιστών και να κατανοήσουν την έννοια του υπολογισμού και των δυνατοτήτων/περιορισμών των υπολογιστικών μας μηχανών.
Δεξιότητες: Οι φοιτητές αναμένεται ότι θα μπορούν να αναπτύσσουν τυπικά ορισμένους και μαθηματικώς τεκμηριωμένους συλλογισμούς, για την ισοδυναμία μαθηματικών μοντέλων και αλγορίθμων υπολογισμού γλωσσών για προβλήματα διαφορετικών κλάσεων πολυπλοκότητας και για προβλήματα, που δεν υπολογίζονται.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Προσαρμογή σε νέες καταστάσεις
- Λήψη αποφάσεων
- Αυτόνομη εργασία
- Άσκηση κριτικής και αυτοκριτικής
- Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Εισαγωγή, Κανονικές Γλώσσες: Κανονικές Εκφράσεις και Πεπερασμένα Αυτόματα, Γλώσσες Χωρίς Συμφραζόμενα: Γραμματικές και Αυτόματα Στοίβας, Μηχανές Turing, Μη επιλυσιμότητα
Λέξεις Κλειδιά
Γλώσσες, Γραμματικές, Αυτόματα, Μη επιλυσιμότητα
Τύποι Εκπαιδευτικού Υλικού
- Διαφάνειες
- Διαδραστικές ασκήσεις
- Βιβλίο
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
Χρήση Τ.Π.Ε.
- Χρήση Τ.Π.Ε. στη Διδασκαλία
- Χρήση Τ.Π.Ε. στην Επικοινωνία με τους φοιτητές
Περιγραφή
Χρησιμοποιείται η πλατφόρμα e-learning (moodle) για τη διάθεση του μαθήματος μέσω διαδικτύου και για την επικοινωνία με τους φοιτητές. Επίσης, οι παραδόσεις γίνονται με χρήση εποπτικών μέσων διδασκαλίας (ηλεκτρονικές διαφάνειες).
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 52 | ✓ | ✓ | ||
| Μελέτη και ανάλυση βιβλίων και άρθρων | 112 | ✓ | |||
| Φροντιστήριο | 13 | ✓ | ✓ | ||
| Εξετάσεις | 3 | ✓ | ✓ | ||
| Σύνολο | 180 |
Αξιολόγηση Φοιτητών
Περιγραφή
Οι φοιτητές αξιολογούνται με βάση τις απαντήσεις τους σε υποχρεωτικές διαδραστικές ασκήσεις (10 %) και την επίδοσή τους στην τελική γραπτή εξέταση (90 %). Η φοίτησή τους είναι επιτυχής, εφόσον ο σταθμισμένος μέσος όρος των τριών δοκιμασιών αντιστοιχεί σε προβιβάσιμο βαθμό (5). Η ανακοίνωση των κριτηρίων αξιολόγησης, της προόδου και των επιδόσεων των φοιτητών γίνεται στην πλατφόρμα e-learning.
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Πολλαπλής Επιλογής (Διαμορφωτική, Συμπερασματική)
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική, Συμπερασματική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
1. H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις Κριτική, ISBN: 978-960-218-397-7
Κωδικός Βιβλίου στον Εύδοξο: 11776
2. M. Sipser, "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009, Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις Κρήτης, ISBN: 978-960-524-243-5
Κωδικός Βιβλίου στον Εύδοξο: 257
Επιπρόσθετη βιβλιογραφία για μελέτη
1. Π. Κατσαρός, "Θεωρία Υπολογισμού και Εφαρμογές", 2015, Αποθετήριο Κάλλιπος, https://repository.kallipos.gr/handle/11419/5744
2. E. Rich, "Automata, Computability and Complexity: Theory and Applications", 1st edition/2007, Prentice Hall, ISBN: 978-0132288064
3. J. E. Hopcroft, R. Motwani, J. D. Ullman, "Introduction to Automata Theory, Languages, and Computation", 3rd edition/2006, Prentice Hall, ISBN: 978-0321455369
Τελευταία Επικαιροποίηση
12-10-2020
