Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

MENUMENU
  • Τμήμα
      • Φυσιογνωμία
      • Διδάσκοντες
      • Πολιτική Ποιότητας
      • Νέο Κτίριο
      • Διοίκηση
      • Προσωπικό
      • Πιστοποίηση Τμήματος
      • Καλωσόρισμα Προέδρου
  • Σπουδές
    • Γνωστικά Αντικείμενα
    • Προπτυχιακές Σπουδές
    • Μεταπτυχιακές Σπουδές
      • Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ»
      • Π.Μ.Σ. στα «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας»
      • Π.Μ.Σ. στην «Εφαρμοσμένη Πληροφορική»
    • Διδακτορικές Σπουδές
    • Κινητικότητα
    • Κατάλογος Μαθημάτων
      • Προπτυχιακά Μαθήματα
      • Μεταπτυχιακά Μαθήματα
        • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Εφαρμοσμένη Πληροφορική
      • Erasmus
    • Πιστωτικές Μονάδες ECTS
    • Ακαδημαϊκό Ημερολόγιο Π.Π.Σ.
    • Ακαδημαϊκό Ημερολόγιο Π.Μ.Σ
    • Ωρολόγιο Π.Π.Σ. Χειμερινού
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Χειμερινού που διδάσκονται τώρα
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Εαρινού που διδάσκονται τώρα
    • Ωρολόγιο Π.Μ.Σ. Χειμερινού
      • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιου Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Εφαρμοσμένη Πληροφορική
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
    • Πρόγραμμα Εξεταστικής
      • Εξεταστική Π.Π.Σ.
      • Εξεταστική Π.Μ.Σ.
    • Επαγγελματικά Θέματα
    • Πιστοποιήσεις
      • Πρόγραμμα Εξειδίκευσης στην «Επιστήμη Δεδομένων»
      • Πρόγραμμα Παιδαγωγικής & Διδακτικής Επάρκειας
    • Υποστήριξη Φοιτητών
      • Υποστήριξη ΦμεΑ
      • Συχνές Ερωτήσεις
      • Παρενόχληση - Εκφοβισμός
    • Πρακτική Άσκηση
  • Έρευνα
    • Εργαστήρια
    • Ερευνητικά Έργα
    • Μεταδιδακτορική Έρευνα
    • Υποψήφιοι Διδάκτορες
    • Διατριβές – Εργασίες
    • Ερευνητικά Έργα σε Εξέλιξη

      Hellenic Chips Competence Centre (HCCC)

      Επιστ. Υπεύθυνος

      Σταμούλης ΓεώργιοςΣταμούλης Γεώργιος, Καθηγητής
      E-mail: georges@uth.gr

      Συμμετέχοντα Μέλη ΔΕΠ

      Σωτηρίου ΧρήστοςΣωτηρίου Χρήστος, Καθηγητής
      E-mail: chsotiriou@uth.gr

      ΤίτλοςHellenic Chips Competence Centre (HCCC)
      Φορέας ΧρηματοδότησηςΤο HCCC υποστηρίζεται από το Chips JU και τα μέλη του, και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση και την Ελληνική Κυβέρνηση μέσω του προγράμματος “Ανταγωνιστικότητα”
      Προϋπολογισμός326.350,00
      Διάρκεια01/06/2025 – 31/05/2029
      Ιστοσελίδαhttp://www.hccc.org.gr/

      Περισσότερα →

      Αναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση

      Επιστ. Υπεύθυνος

      Πλέσσας ΦώτιοςΠλέσσας Φώτιος, Καθηγητής
      E-mail: fplessas@uth.gr

      ΤίτλοςΑναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση
      Φορέας ΧρηματοδότησηςNanoZeta Technologies ltd.
      Προϋπολογισμός271.400,00
      Διάρκεια26/01/2021 – 25/01/2028

      Περισσότερα →

      DIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences

      Επιστ. Υπεύθυνος

      Κοράκης ΑθανάσιοςΚοράκης Αθανάσιος, Καθηγητής
      E-mail: korakis@uth.gr

      ΤίτλοςDIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός123.125,00
      Διάρκεια16/12/2024 – 31/12/2027

      Περισσότερα →

      Λίστα Ερευνητικώ Έργων →

  • Απόφοιτοι
      • Ισοτιμία ΜΗΥΤΔ με ΗΜΜΥ
      • Γνώμες Αποφοίτων
      • Διδάκτορες
  • Υπηρεσίες
    • Γραμματεία
      • Πληροφορίες
      • Γενικά Έντυπα
    • Τεχνική Υποστήριξη
  • Ανακοινώσεις
    • Γενικές Ανακοινώσεις
    • Ακαδημαϊκά Νέα - Εκδηλώσεις
    • Συνέδρια
    • Πρωτοετών
    • Αποφοίτων
    • Θέσεις Εργασίας
    • Υποτροφίες
    • Αποφάσεις Συλλογικών Οργάνων
    • Πρόσφατες Ανακοινώσεις

      • 29/10/2025 Προθεσμία Εγγραφών Διακριθέντων Αθλητών 2025-2026
      • 21/10/2025 Προθεσμία Υποβολής Δικαιολογητικών Μετεγγραφών 2025-2026
      • 15/10/2025 Erasmus+ Days Webinar Lets Mimic: Βιομίμηση για Καινοτομία Εμπνευσμένη από τη Φύση
      • 15/10/2025 Θέση Εργασίας – Εκδήλωση Ενδιαφέροντος
      • 14/10/2025 Δικαιολογητικά Εγγραφής Επιτυχόντων Πληγέντων από Φυσικές Κατατροφές 2025-2026
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 383 34, Βόλος
      Τηλ.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ uth.gr
      Τηλ. Π.Μ.Σ.+30 24210 74933
      e-mail Π.Μ.Σ.pgsec ΑΤ uth.gr
      Ιστοσελίδαhttps://www.e-ce.uth.gr/contact-info/
  • Είσοδος

ECE324 Εισαγωγή στη Θεωρία Υπολογισμού

Αρχική » Σπουδές » Προπτυχιακές Σπουδές » Προπτυχιακά Μαθήματα » ECE324 Εισαγωγή στη Θεωρία Υπολογισμού

Loading…

Δομή Προαπαιτούμενων Μαθημάτων

Xρώμα κόμβου:
1ο Έτος 2ο Έτος 3ο Έτος 4ο-5ο Έτος


Σχήμα Κόμβου:
Κύκλος: Υποχρεωτικό Μάθημα
Τετράγωνο: Μάθημα Επιλογής
Αστεράκι: Μάθημα για το οποίο γίνεται η αναζήτηση των προαπαιτουμένων


Σύρσιμο Κόμβου:
Κάνοντας κλίκ στον κόμβο και μετακινώντας το ποντίκι.


Μεγένθυση & Μετακίνηση Γραφήματος:
Κάνοντας κύλιση (scrolling) και σύρσιμο (dragging) του ποντικιού.

Γνωστικό ΑντικείμενοΕφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών (ΕΘ)
ΕξάμηνοΕξάμηνο 6 – Εαρινό
Είδος ΜαθήματοςΕπιλογής
Τύπος Μαθήματος Ειδίκευσης
Συν. Εβδ. Ωρών Διδασκαλίας4
Ώρες Θεωρίας3
Ώρες Εργαστηρίου0
Ώρες Φροντιστηρίου1
Μονάδες ECTS6
Προαπαιτούμενα Μαθήματα
  • ECE118 Διακριτά Μαθηματικά

Σελίδα Μαθήματοςhttps://eclass.uth.gr/courses/E-CE_U_130/
Υπεύθυνος Μαθήματος

Βασιλακόπουλος ΜιχαήλΒασιλακόπουλος Μιχαήλ, Καθηγητής
E-mail: mvasilako@uth.gr

Διδάσκουσα
  • Τουσίδου Ελένη, Ε.ΔΙ.Π.
    E-mail: etousido@uth.gr
Συγγράμματα
  • Βιβλίο [86195794]: ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ (μτφρ. της 3ης διεθνούς έκδοσης), Michael Sipser Λεπτομέρειες
  • Βιβλίο [11776]: Στοιχεία θεωρίας υπολογισμού, Lewis Harry R.,Παπαδημητρίου Χρίστος Χ. Λεπτομέρειες

Πρόσθετο Διδακτικό Υλικό:

  • Βιβλίο [59303543]: ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, ΠΑΝΑΓΙΩΤΗΣ ΚΑΤΣΑΡΟΣ Λεπτομέρειες
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Ομαδική εργασία
  • Παραγωγή νέων ερευνητικών ιδεών
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις φοιτητών
  • Υποχρεωτική συμμετοχή σε προόδους
  • Υποχρεωτική συμμετοχή σε εξετάσεις
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης
  • ΕΙΣΑΓΩΓΗ: Αυτόματα, Υπολογισιμότητα, και Πολυπλοκότητα, μαθηματικές έννοιες και ορολογία
  • ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ: Πεπερασμένα Αυτόματα, Ανταιτιοκρατία, Κανονικές Εκφράσεις, Μη Κανονικές Γλώσσες
  • ΑΣΥΜΦΡΑΣΤΙΚΕΣ ΓΛΩΣΣΕΣ: Ασυμφραστικές Γραμματικές, Αυτόματα Στοίβας, Μη Ασυμφραστικές Γλώσσες,
  • ΤΟ ΔΟΓΜΑ CHURCH-TURING: Μηχανές Turing, Παραλλαγές μηχανών Turing, Ο ορισμός του Αλγορίθμου,
  • ΔΙΑΓΝΩΣΙΜΟΤΗΤΑ: Διαγνώσιμες Γλώσσες, Το πρόβλημα του Τερματισμού
  • ΧΡΟΝΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ: Μέτρηση της Πολυπλοκότητας, Η κλάση Ρ, Η κλάση ΝΡ
  • ΧΩΡΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ: Θεώρημα του Savitch, Η κλάση PSPACE

Οι μαθησιακοί στόχοι του μαθήματος είναι:

  • Να εισάγει τους φοιτητές στη μαθηματική υποδομή του υπολογισμού και συγκεκριμένα στη θεωρία αυτομάτων, τη θεωρία τυπικών γλωσσών και γραμματικών, τις έννοιες του αλγορίθμου, της διαγνωσιμότητας, της πολυπλοκότητας και της υπολογισιμότητας.
  • Να αναπτύξει την ικανότητα των φοιτητών να κατανοούν και να κατασκευάζουν μαθηματικές αποδείξεις για υπολογισμούς και αλγορίθμους.

Με την ολοκλήρωση του μαθήματος ο φοιτητής θα πρέπει να μπορεί:

  • να κατηγοριοποιεί τις αφηρημένες μηχανές και να κατασκευάζει αφηρημένες μηχανές κατάλληλες για συγκεκριμένα προβλήματα
  • να επιδεικνύει κατανόηση των πλεονεκτημάτων και των περιορισμών των αναλυτικών τεχνικών στην ανάπτυξη λογισμικού
  • να αναγνωρίζει τη σημασία των κλάσεων πολυπλοκότητας και να υπολογίζει την πολυπλοκότητα συγκεκριμένων τύπων αλγορίθμων
  • να επιδεικνύει βαθύτερη και ευρύτερη κατανόηση κλάσεων πολυπλοκότητας
  • να αποδεικνύει τα βασικά αποτελέσματα της Θεωρίας Υπολογισμού

Ι. Γραπτή Πρόοδος (30%) &
IΙ. Γραπτή τελική εξέταση (70%):
–    Ερωτήσεις θεωρίας
–    Ερωτήσεις πολλαπλής επιλογής
–    Επίλυση προβλημάτων
–    Αποδείξεις θεωρημάτων και προτάσεων
–    Παρουσίαση ορισμών και ιδιοτήτων
ΙΙΙ. Προαιρετική Εργασία (μπόνους 2 μονάδων):

  • ΕΙΣΑΓΩΓΗ: Αυτόματα, Υπολογισιμότητα, και Πολυπλοκότητα, μαθηματικές έννοιες και ορολογία – 1 εβδομάδα
  • ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ: Πεπερασμένα Αυτόματα, Ανταιτιοκρατία, Κανονικές Εκφράσεις, Μη Κανονικές Γλώσσες – 3 εβδομάδες
  • ΑΣΥΜΦΡΑΣΤΙΚΕΣ ΓΛΩΣΣΕΣ: Ασυμφραστικές Γραμματικές, Αυτόματα Στοίβας, Μη Ασυμφραστικές Γλώσσες – 3 εβδομάδες
  • ΤΟ ΔΟΓΜΑ CHURCH-TURING: Μηχανές Turing, Παραλλαγές μηχανών Turing, Ο ορισμός του Αλγορίθμου – 2 εβδομάδες
  • ΧΡΟΝΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ: Μέτρηση της Πολυπλοκότητας, Η κλάση Ρ, Η κλάση ΝΡ + ΧΩΡΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ – 1,5 εβδομάδα
  • ΔΙΑΓΝΩΣΙΜΟΤΗΤΑ: Διαγνώσιμες Γλώσσες, Το πρόβλημα του Τερματισμού – 1,5 εβδομάδα
  • Επανάληψη – Ασκήσεις – 1 εβδομάδα

Πρόσφατες Ανακοινώσεις

  • 29/10/2025 Προθεσμία Εγγραφών Διακριθέντων Αθλητών 2025-2026
  • 21/10/2025 Προθεσμία Υποβολής Δικαιολογητικών Μετεγγραφών 2025-2026
  • 15/10/2025 Erasmus+ Days Webinar Lets Mimic: Βιομίμηση για Καινοτομία Εμπνευσμένη από τη Φύση
  • 15/10/2025 Θέση Εργασίας – Εκδήλωση Ενδιαφέροντος

e-Yπηρεσίες

Επικοινωνία

  • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
  • +30 24210 74967
  • +30 24210 74934
  • gece@uth.gr

Ανακοινώσεις

  • Γενικές Ανακοινώσεις
  • Ακαδημαϊκά Νέα – Εκδηλώσεις
  • Θέσεις Εργασίας
  • Υποτροφίες
  • Αποφάσεις Συλλογικών Οργάνων

Θα μας Βρείτε

  • Facebook
  • Twitter
  • Youtube
  • Linkedin
© Copyright 2025 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Ο παρών ιστότοπος χρησιμοποιεί cookies για να εξασφαλίσει την καλύτερη δυνατή εμπειρία σου στο site μας.ΕΝΗΜΕΡΩΘΗΚΑΠληροφορίες