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

      Η έρευνα στο Τμήμα υποστηρίζεται από θεσμοθετημένα εργαστήρια, τα οποία αποτελούν πόλους καινοτομίας και διεθνών συνεργασιών, καλύπτοντας ένα ευρύ φάσμα τεχνολογιών αιχμής. Είναι αξιοσημείωτο ότι μέλη του προσωπικού μας συγκαταλέγονται σταθερά στην παγκόσμια κατάταξη του 2% των κορυφαίων επιστημόνων (Stanford University list), επιβεβαιώνοντας τη διεθνή απήχηση του έργου τους. Τα μέλη ΔΕΠ διατηρούν στρατηγικές συνεργασίες με εθνικές και διεθνείς ερευνητικές ομάδες και τη βιομηχανία, ενώ χαίρουν διεθνούς αναγνώρισης, έχοντας διακριθεί με βραβεία και αναλαμβάνοντας ηγετικούς ρόλους (Editorial Board Member, Chair) σε διεθνούς κύρους επιστημονικά συνέδρια και οργανισμούς όπως το ΙΕΕΕ. Αυτή η ενεργή ερευνητική δραστηριότητα τροφοδοτεί άμεσα την εκπαιδευτική διαδικασία, διασφαλίζοντας ότι οι φοιτητές μας, ιδιαίτερα στα μαθήματα επιλογής των μεγαλύτερων ετών και κατά την εκπόνηση της Διπλωματικής Εργασίας τους, αποκτούν γνώση αιχμής που βρίσκεται στην πρώτη γραμμή της παγκόσμιας καινοτομίας.

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

      • 05/05/2026 Προκήρυξη 2026-2027 – ΔΠΜΣ “Επιστήμη Δεδομένων και Μηχανική Μάθηση”
      • 05/05/2026 Το ΤΗΜΜΥ στο Πρωτάθλημα Μπάσκετ του Πανεπιστημίου Θεσσαλίας
      • 28/04/2026 Προσωρινά Αποτελέσματα Σταδίου 1 Πρακτικής Άσκησης
      • 25/04/2026 Το ΤΗΜΜΥ στο DATE ’26
      • 23/04/2026 Ορισμός Βαθμολογητών και Αναβαθμολογητών Κατατακτηρίων Εξετάσεων 2026-2027
  • Είσοδος
ECE324 Εισαγωγή στη Θεωρία Υπολογισμού

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]: ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, ΠΑΝΑΓΙΩΤΗΣ ΚΑΤΣΑΡΟΣ Λεπτομέρειες
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Ομαδική εργασία
  • Παραγωγή νέων ερευνητικών ιδεών
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις φοιτητών
  • Υποχρεωτική συμμετοχή σε προόδους
  • Υποχρεωτική συμμετοχή σε εξετάσεις
Πρόγραμμα Εαρινού Εξαμήνου Ακ. Έτους 2025 – 2026
ΗμέραΏραΤύποςΑίθουσαΔιδάσκων
Τρίτη09:00 – 11:00ΔιάλεξηΕργ. 205
  • Τουσίδου Ελένη
Πέμπτη09:00 – 11:00ΔιάλεξηΕργ. 205
  • Τουσίδου Ελένη
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης
  • ΕΙΣΑΓΩΓΗ: Αυτόματα, Υπολογισιμότητα, και Πολυπλοκότητα, μαθηματικές έννοιες και ορολογία
  • ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ: Πεπερασμένα Αυτόματα, Ανταιτιοκρατία, Κανονικές Εκφράσεις, Μη Κανονικές Γλώσσες
  • ΑΣΥΜΦΡΑΣΤΙΚΕΣ ΓΛΩΣΣΕΣ: Ασυμφραστικές Γραμματικές, Αυτόματα Στοίβας, Μη Ασυμφραστικές Γλώσσες,
  • ΤΟ ΔΟΓΜΑ CHURCH-TURING: Μηχανές Turing, Παραλλαγές μηχανών Turing, Ο ορισμός του Αλγορίθμου,
  • ΔΙΑΓΝΩΣΙΜΟΤΗΤΑ: Διαγνώσιμες Γλώσσες, Το πρόβλημα του Τερματισμού
  • ΧΡΟΝΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ: Μέτρηση της Πολυπλοκότητας, Η κλάση Ρ, Η κλάση ΝΡ
  • ΧΩΡΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ: Θεώρημα του Savitch, Η κλάση PSPACE

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

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

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

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

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

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

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

  • 05/05/2026 Προκήρυξη 2026-2027 – ΔΠΜΣ “Επιστήμη Δεδομένων και Μηχανική Μάθηση”
  • 05/05/2026 Το ΤΗΜΜΥ στο Πρωτάθλημα Μπάσκετ του Πανεπιστημίου Θεσσαλίας
  • 28/04/2026 Προσωρινά Αποτελέσματα Σταδίου 1 Πρακτικής Άσκησης
  • 25/04/2026 Το ΤΗΜΜΥ στο DATE ’26

e-Yπηρεσίες

e-Class Ηλεκτρονική πλατφόρμα μαθημάτων
Εύδοξος Διανομή Συγγραμάτων
Ακαδημαϊκή Ταυτότητα Πάσο Φοιτητή
SIS-Web Ηλεκτρονική Γραμματεία
Webmail Ηλεκτρονικό Ταχυδρομείο
Erasmus+ Άνοιξε τους ορίζοντές σου

ΤΗΜΜΥ

Στην αιχμή της εκπαίδευσης και της έρευνας στην Ηλεκτρολογία και τη Μηχανική Υπολογιστών, διαμορφώνουμε τους μηχανικούς του μέλλοντος.

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

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

Επικοινωνία

  • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
  • +30 24210 74967
  • +30 24210 74934
  • gece@uth.gr
© Copyright 2026 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Ο παρών ιστότοπος χρησιμοποιεί cookies για να εξασφαλίσει την καλύτερη δυνατή εμπειρία σου στο site μας.ΕΝΗΜΕΡΩΘΗΚΑΠληροφορίες