COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING

Informations du Cours
TitreΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
CodeNIS-06-02
Cycle / Niveau1er cycle / Licence
Semestre de l’annéeSpring
CoordinatorNick Bassiliades
CommonOui
StatutActif
Course ID40002952

Programme d' Études: PPS-Tmīma Plīroforikīs (2019-sīmera)

Registered students: 33
OrientationAttendance TypeSemesterAnnéeECTS
GENIKĪ KATEUTHYNSĪYPOCΗREŌTIKO KATA EPILOGĪ635

Informations de la Classe
Année Académique2018 – 2019
Semestre de l’AnnéeSpring
Faculty Instructors
Weekly Hours4
Class ID
600121324
Course Type 2016-2020
  • Domaine Scientifique
  • Développement de Compétences
Mode d’Enseignement
  • En présentiel
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Grec (Enseignement, Examens)
Aptitudes Générales
  • Application des connaissances à la pratique
  • Recherche, analyse et synthèse de données et d’informations, avec utilisation des technologies adéquates
  • Adaptation à des situations nouvelles
  • Prise de décision
  • Travail en autonomie
  • Travail d’équipe
  • Promotion de la pensée libre, créatrice et inductive
Type de Matériels Éducatifs
  • Vidéoconférences
  • Livre
Use of Information and Communication Technologies
Use of ICT
  • Emploi de TIC pour l’enseignement
  • Emploi de TIC pour les activités de laboratoire
  • Emploi de TIC pour communiquer avec les étudiants
Organisation du Cours
ActivitésCharge de travailECTSIndividuelEn groupeErasmus
Conferences39
Mise a niveau 13
Presentation d’une etude (projet)69
Examens3
Autre26
Total150
Student Assessment
Student Assessment methods
  • Examen écrit : questionnaire à choix multiples (Sommative)
  • Examen écrit : réponses courtes (Sommative)
  • Examen écrit : résolution de problèmes (Formative, Sommative)
Bibliography
Course Bibliography (Eudoxus)
- ΣΑΚΕΛΛΑΡΙΟΥ, Η., ΒΑΣΙΛΕΙΑΔΗΣ, Ν., ΚΕΦΑΛΑΣ, Π., ΣΤΑΜΑΤΗΣ, Δ., 2016. Τεχνικές Λογικού Προγραμματισμού. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/777 - Μανόλης Μαρακάκης, “Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη”, ΕΚΔΟΣΕΙΣ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ, ISBN: 978-960-6759-98-7, 2014. - Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα. - Πολυμεσικός οδηγός εκμάθησης Prolog.
Additional bibliography for study
- Programming in Prolog, W. Clocksin, C. Mellish, Springer-Verlag. - Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley, (2nd or 3rd ed.).
Last Update
27-01-2020