Doctoral Studies
Logic and Computer Science II: Applications of Logic to Functional Programming
Code: 689 | Fall Semester | Postgraduate
Lecturers: Giorgos Koletsos
Lecture Hours - Lab Hours: 4 - 0
/el//en//el/education/undergraduate/info/en/education/undergraduate/info/el/education/undergraduate/courses/en/education/undergraduate/courses/el/education/undergraduate/schedule/en/education/undergraduate/schedule/el/education/undergraduate/quality/en/education/undergraduate/quality/el/education/postgraduate/en/education/postgraduate/el/education/doctoral/info/en/education/doctoral/info/el/education/doctoral/courses/en/education/doctoral/courses/el/education/doctoral/schedule/en/education/doctoral/schedule/el/education/erasmus/en/education/erasmus/el/thesis/search/el/thesis/regulation/el/thesis/contour/el/research/results/en/research/results/el/research/labs/en/research/labs/el/research/iccs/en/research/iccs/el/research/libraries/en/research/libraries/el/staff/academic/faculty/en/staff/academic/faculty/el/staff/academic/emeriti/en/staff/academic/emeriti/el/staff/academic/retired/en/staff/academic/retired/el/staff/academic/visiting/en/staff/academic/visiting/el/staff/laboratory/edip/en/staff/laboratory/edip/el/staff/laboratory/etep/en/staff/laboratory/etep/el/staff/research/iccs/en/staff/research/iccs/el/staff/research/researchAssociate/en/staff/research/researchAssociate/el/staff/research/phd/en/staff/research/phd/el/staff/administrative/permanent/en/staff/administrative/permanent/el/staff/administrative/associates/en/staff/administrative/associates/el/school/history/historicalReview/en/school/history/historicalReview/el/school/history/historyNTUA/en/school/history/historyNTUA/el/school/access/en/school/access/el/school/organization/en/school/organization/el/school/regulatory-texts/el/school/news/en/school/news/el/school/events/en/school/events/el/services/services/en/services/services/el/files/undergraduate/en/files/undergraduate/el/contact/en/contact/el/alumni/register/en/alumni/register/el/cookies/en/cookies/el/announcementsECE Home Page (EL)ECE Home Page (EN)
Copyright © 2026 - School of Electrical and Computer Engineering, National Technical University of Athens