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

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

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

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

      Πλέσσας ΦώτιοςΠλέσσας Φώτιος, Καθηγητής
      E-mail: fplessas@e-ce.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@e-ce.uth.gr

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

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

      TWIN-RELECT: Twinning for Excellence in Reliable Electronics

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

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

      ΤίτλοςTWIN-RELECT: Twinning for Excellence in Reliable Electronics
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός602.500,00
      Διάρκεια01/10/2024 – 30/09/2027

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

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

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

      • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
      • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 03/06/2025 Προκηρύξεις Υποτροφιών Κληροδοτημάτων ΙΚΥ
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 383 34, Βόλος
      Τηλ.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ e-ce.uth.gr
      Τηλ. Π.Μ.Σ.+30 24210 74933
      e-mail Π.Μ.Σ.pgsec ΑΤ e-ce.uth.gr
      Ιστοσελίδαhttps://www.e-ce.uth.gr/contact-info/
  • Είσοδος

ECE419 Λογικός και Συναρτησιακός Προγραμματισμός

Αρχική » Σπουδές » Προπτυχιακές Σπουδές » Προπτυχιακά Μαθήματα » ECE419 Λογικός και Συναρτησιακός Προγραμματισμός

Loading…

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

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


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


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


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

Γνωστικό ΑντικείμενοΤεχνολογιών Λογισμικού και Πληροφοριακών Συστημάτων (ΛΠ)
ΕξάμηνοΕξάμηνο 7 – Χειμερινό
Είδος ΜαθήματοςΕπιλογής
Τύπος Μαθήματος Ειδίκευσης
Συν. Εβδ. Ωρών Διδασκαλίας4
Ώρες Θεωρίας4
Ώρες Εργαστηρίου0
Ώρες Φροντιστηρίου0
Μονάδες ECTS6
Σελίδα Μαθήματοςhttps://eclass.uth.gr/courses/E-CE_U_154
Υπεύθυνη Μαθήματος

Δασκαλοπούλου ΑσπασίαΔασκαλοπούλου Ασπασία, Αναπληρώτρια Καθηγήτρια
E-mail: aspassia@uth.gr

Διδάσκουσα
  • Δασκαλοπούλου Ασπασία, Αναπληρώτρια Καθηγήτρια
    E-mail: aspassia@uth.gr
Βιβλιογραφία
  1. Introduction to Logic Programming, Genesereth M., Chaudri V., Morgan and Claypool Publishers 2020. Sample Textbook
  2. Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley Publishers, 2011.
  3. Elements of Functional Programming, Reade Ch., Addison-Wesley Publishers, 1989.
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Υποχρεώσεις φοιτητών
  • Υποχρεωτική συμμετοχή σε εξετάσεις
Πρόγραμμα Χειμερινού Εξαμήνου Ακ. Έτους 2024 – 2025
ΗμέραΏραΤύποςΑίθουσαΔιδάσκων
Δευτέρα11:00 – 13:00ΔιάλεξηΑμφ. 2 (101)
  • Δασκαλοπούλου Ασπασία
Τρίτη11:00 – 13:00ΔιάλεξηΑμφ. 2 (101)
  • Δασκαλοπούλου Ασπασία
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
  • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
  • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
  • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026

e-Yπηρεσίες

Επικοινωνία

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

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

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

Θα μας Βρείτε

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