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

      • 27 Μαΐου 2026 Προκήρυξη Υποτροφιών Κληροδοτήματος Ζαούση
      • 27 Μαΐου 2026 Προκήρυξη Υποτροφιών Θεοδωρίδειου Κληροδοτήματος Εκπαιδευτικών
      • 26 Μαΐου 2026 Τροποποίηση Προγράμματος Εξεταστικής Εαρ. Εξαμήνου 2025-2026 ΠΠΣ
      • 22 Μαΐου 2026 Έναρξη Υποβολής Αιτήσεων Σίτισης Ακ. Έτους 2026-2027
      • 22 Μαΐου 2026 F4 Πρωταθλήματος Μπάσκετ του Πανεπιστημίου Θεσσαλίας (Τμήματα Βόλου)
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 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/
  • Είσοδος

Αρχική » Σπουδές » Προπτυχιακές Σπουδές » Προπτυχιακά Μαθήματα »

Loading…

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

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


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


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


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

ECE419
Λογικός και Συναρτησιακός Προγραμματισμός
Erasmus Επιλογής Εξάμηνο 7 – Χειμερινό Ειδίκευσης
Μονάδες ECTS
6
Εβδ. Ώρες
4
e-Class
Πληροφορίες Μαθήματος
Γνωστικό ΑντικείμενοΤεχνολογιών Λογισμικού και Πληροφοριακών Συστημάτων (ΛΠ)
ΕξάμηνοΕξάμηνο 7 – Χειμερινό
Είδος ΜαθήματοςΕπιλογής
Τύπος ΜαθήματοςΕιδίκευσης
Μονάδες ECTS6
Σελίδα Μαθήματοςeclass.uth.gr
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις Φοιτητών
  • Υποχρεωτική συμμετοχή σε εξετάσεις
Υπεύθυνος Μαθήματος
Μούντανος Ιωάννης
Μούντανος Ιωάννης
Αναπληρωτής Καθηγητής
Γραφείο 324
+30 24210 74578
Room#231, ώρες γραφείου (office hours) Τετ. (Wed) 4-6, κλπ.or chat with me on  MS Teams where I appear as ==> Ioannis MOUDANOS, or schedule a meeting via https://calendly.com/jmoondan-o365
jmoondan@uth.gr
Ώρες Διδασκαλίας
4
Σύνολο
4
Θεωρία
0
Φροντιστήριο
0
Εργαστήριο
Διδάσκοντες
Μούντανος Ιωάννης
Μούντανος Ιωάννης
Αναπληρωτής Καθηγητής
jmoondan@uth.gr
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης

To μάθημα έχει σκοπό να εξοικειώσει τους φοιτητές με το δηλωτικό προγραμματισμό, εκφάνσεις του οποίου είναι ο λογικός και ο συναρτησιακός προγραμματισμός. Η βασική δομή των προγραμμάτων, το μοντέλο υπολογισμού που υιοθετείται για την εκτέλεσή τους, και η θεωρητική τους ανάλυση εξηγούνται με χρήση δύο αντιπροσωπευτικών γλωσσών προγραμματισμού. Εξηγούνται, επίσης, οι σχέσεις μεταξύ του λογικού και του συναρτησιακού προγραμματισμού και συγκρίνονται με το διαδικασιακό υπόδειγμα.

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

  • Γνωρίζουν το Λογικό και Συναρτησιακό υπόδειγμα υπολογισμού, και τοποθέτησή του σε σχέση με το διαδικασιακό
  • Χρησιμοποιούν βασικές έννοιες και ορολογία του λογικού και του συναρτησιακού προγραμματισμού και κατασκευάζουν προγράμματα.
  • Εφαρμόζουν τις μεθόδους υπολογισμού λογικού προγράμματος και συναρτησιακού προγράμματος.
  • Αναλύουν και αξιολογούν τα προγράμματά τους με βάση τα θεωρητικά εργαλεία του λογικού και του συναρτησιακού προγραμματισμού.
  • Καταλαβαίνουν τις δυνατότητες που δημιουργούνται για τη σύνθεση προγραμμάτων με τη χρήση τεχνικών μεταπρογραμματισμού (για το λογικό προγραμματισμό) και συναρτήσεων υψηλότερης τάξης (για το συναρτησιακό προγραμματισμό).

Γραπτή Εξέταση (100%): Δύο μέρη, ένα για το λογικό και ένα για το συναρτησιακό προγραμματισμό

Αυτοαξιολόγηση: Eβδομαδιαίες ασκήσεις.

Εισαγωγή στο Δηλωτικό Προγραμματισμό, Εισαγωγή στο Λογικό Προγραμματισμό: 1 εβδομάδα

Προτασιακή και Κατηγορηματική Λογική, Κανονικές Μορφές, Κανόνες Horn, Βασικό συντακτικό προγραμμάτων Prolog, SLDNF ανάλυση, λίστες, αναδρομή: 2 εβδομάδες

Θεωρία Λογικού Προγραμματισμού, Σύμπαν και βάση Herbrand, Σταθερό Στιγμιότυπο Προγράμματος, Ελάχιστο Μοντέλο Προγράμματος: 1 εβδομάδα

Μετα-προγραμματισμός, Γενικές ασκήσεις Λογικού Προγραμματισμού: 1 εβδομάδα

Εισαγωγή στο Συναρτησιακό Προγραμματισμό, Τύποι Συναρτήσεων,  βασικό συντακτικό συναρτησιακών προγραμμάτων, Μέθοδος Υπολογισμού: 2 εβδομάδα

Λίστες, αναδρομή, σύνθεση συναρτήσεων: 2 εβδομάδες

Πολυμορφισμός και συναρτήσεις Υψηλότερης Τάξης, Οκνηρός και Άπληστος Υπολογισμός: 2 εβδομάδες

Γενικές ασκήσεις Συναρτησιακού Προγραμματισμού: 1 εβδομάδα

Συνολική Επανάληψη: 1 εβδομάδες

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

  • 27 Μαΐου 2026 Προκήρυξη Υποτροφιών Κληροδοτήματος Ζαούση
  • 27 Μαΐου 2026 Προκήρυξη Υποτροφιών Θεοδωρίδειου Κληροδοτήματος Εκπαιδευτικών
  • 26 Μαΐου 2026 Τροποποίηση Προγράμματος Εξεταστικής Εαρ. Εξαμήνου 2025-2026 ΠΠΣ
  • 22 Μαΐου 2026 Έναρξη Υποβολής Αιτήσεων Σίτισης Ακ. Έτους 2026-2027

e-Yπηρεσίες

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

ΤΗΜΜΥ

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

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

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

Επικοινωνία

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