ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ

Πληροφορίες Μαθήματος
ΤίτλοςΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ / THEORY OF COMPUTATION
ΚωδικόςNCO-02-05
ΣχολήΘετικών Επιστημών
ΤμήμαΠληροφορικής
Κύκλος / Επίπεδο1ος / Προπτυχιακό
Περίοδος ΔιδασκαλίαςΕαρινή
Υπεύθυνος/ηΠαναγιώτης Κατσαρός
ΚοινόΌχι
ΚατάστασηΕνεργό
Course ID40002922

Πρόγραμμα Σπουδών: ΠΠΣ-Τμήμα Πληροφορικής (2019-σήμερα)

Εγγεγραμμένοι φοιτητές: 444
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΓΕΝΙΚΗ ΚΑΤΕΥΘΥΝΣΗΥποχρεωτικό216

Πληροφορίες Τάξης
ΤίτλοςΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ
Ακαδημαϊκό Έτος2018 – 2019
Περίοδος ΤάξηςΕαρινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία5
Class ID
600121285
Τύπος Μαθήματος 2016-2020
  • Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
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
Τελευταία Επικαιροποίηση
13-06-2016