Department of Electrical and Computer Engineering

MENUMENU
  • Department
      • Profile
      • Faculty
      • Evaluation
      • Administration
      • Staff
  • Studies
    • Subject Areas
    • Undergraduate Studies
    • Postgraduate Studies
      • MSc Studies in “Science and Technology of ECE”
      • MSc Studies in “Smart Grid Energy Systems”
      • MSc Studies in “Applied Informatics”
    • PhD Studies
    • Course List
      • Undergraduate Courses
      • Postgraduate Courses
        • Science and Technology of ECE
        • Smart Grid Energy Systems
        • Applied Informatics
      • Erasmus
    • ECTS
    • Career Opportunities
    • Practise Training
  • Research
    • Labs
    • Research Projects
    • Postdoc Research
    • Ph.D. Candidates
    • Theses – Technical Reports
    • Active Research Projects

      MLSysOps: Machine Learning for Autonomic System Operation in the Heterogeneous Edge-Cloud Continuum

      Scientific Responsible

      Spyros LalisSpyros Lalis, Professor
      E-mail: lalis@e-ce.uth.gr

      TitleMLSysOps: Machine Learning for Autonomic System Operation in the Heterogeneous Edge-Cloud Continuum
      Duration2023 – 2025
      Sitehttps://csl.e-ce.uth.gr/projects/mlsysops

      Read More

  • Alumni
    • Ph.D. Graduates
  • Service Offices
    • Secretariat
    • Technical support
  • Announcements
    • General Announcements
    • Academic News
  • Contact
    • Department of Electrical and Computer Engineering
      • Sekeri – Cheiden Str
        Pedion Areos, ECE Building
        383 34 Volos – Greece
      Tel.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ e-ce.uth.gr
      PGS Tel.+30 24210 74933
      PGS e-mailpgsec ΑΤ e-ce.uth.gr
      URLhttps://www.e-ce.uth.gr/contact-info/?lang=en
  • Login

ECE419 Logic and Functional Programming

Home » Studies » Undergraduate Studies » Undergraduate Courses » ECE419 Logic and Functional Programming
Subject AreaSoftware and Information System Engineering
SemesterSemester 7 – Fall
TypeElective
Teaching Hours4
ECTS6
Course Sitehttps://courses.e-ce.uth.gr/ECE419/
Course Director

Aspassia DaskalopuluAspassia Daskalopulu, Associate Professor
E-mail: aspassia@e-ce.uth.gr

Course Instructor
  • Aspassia Daskalopulu, Associate Professor
    E-mail: aspassia@e-ce.uth.gr
  • Description
  • Learning Outcomes

The course offers a comprehensive introduction to the principles of logic and functional programming, using one representative programming language in each case. The issues addressed in each case include facts, rules, and query formation in logic programming, simple and composite terms, lists and recursion. Students acquire expertise in writing logic programs for a number of simple applications. In the fuctional programming part of the course, students become familiar with simple and composite functions, recursion and iteration and the typed system employed by most functional programming languages.

Upon completion of this course students :

  • Know the fundamental concepts and terms of the Logic and Functional programming paradigms and how these contrast to the Procedural view of computation.
  • Use basic concepts and terms of Logic Programming
  • Perform Logic Program computation, minimal model computation and recursive predicate definition for list processing.
  • Use basic concepts and terms of Functional Programming.
  • Develop programs in ML – simple and recursive functions, list processing, function composition.
  • Apply functional programming computation and develop higher order functions.

e-Yπηρεσίες

Contact Info

  • Sekeri – Cheiden Str, Pedion Areos, Volos
  • +30 24210 74967
  • +30 24210 74934
  • Email: gece@e-ce.uth.gr

Announcements

  • Academic News

Find us

  • Facebook
  • Twitter
  • Youtube
  • Linkedin
© Copyright 2025 Department of Electrical and Computer Engineering
We use cookies to ensure that we give you the best experience on our website.OKΠληροφορίες