COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
| Titre | ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING |
| Code | NIS-06-02 |
| Cycle / Niveau | 1er cycle / Licence |
| Semestre de l’année | Spring |
| Coordinator | Nick Bassiliades |
| Common | Oui |
| Statut | Actif |
| Course ID | 40002952 |
Programme d' Études: PPS-Tmīma Plīroforikīs (2019-sīmera)
Registered students: 36
| Orientation | Attendance Type | Semester | Année | ECTS |
|---|---|---|---|---|
| GENIKĪ KATEUTHYNSĪ | YPOCΗREŌTIKO KATA EPILOGĪ | 6 | 3 | 5 |
| Année Académique | 2018 – 2019 |
| Semestre de l’Année | Spring |
| Faculty Instructors |
|
| Weekly Hours | 4 |
| Class ID | 600121324
|
Course Type 2016-2020
- Domaine Scientifique
- Développement de Compétences
Mode d’Enseignement
- En présentiel
Accès en Ligne
- e-Study Guide https://qa.auth.gr/fr/class/1/600121324
- eLearning (Moodle): https://elearning.auth.gr/course/view.php?id=8162
- OpenCourses (eClass): https://opencourses.auth.gr/courses/OCRS163/
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és | Charge de travail | ECTS | Individuel | En groupe | Erasmus |
|---|---|---|---|---|---|
| Conferences | 39 | ✓ | |||
| Mise a niveau | 13 | ✓ | |||
| Presentation d’une etude (projet) | 69 | ✓ | ✓ | ||
| Examens | 3 | ✓ | |||
| Autre | 26 | ✓ | |||
| Total | 150 |
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
