COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
| Titel | ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING |
| Code | NIS-06-02 |
| Cycle / Level | 1. Grund- und Hauptstudiengang |
| Semester | Spring |
| Coordinator | Nick Bassiliades |
| Common | Nein |
| Status | Aktiv |
| Course ID | 40002952 |
Studienplan: PPS-Tmīma Plīroforikīs (2019-sīmera)
Registered students: 36
| Fachrichtung | Form des Kursbesuchs | Semester | Jahr | ECTS |
|---|---|---|---|---|
| GENIKĪ KATEUTHYNSĪ | YPOCΗREŌTIKO KATA EPILOGĪ | 6 | 3 | 5 |
| Akademisches Jahr | 2018 – 2019 |
| Kurslehrdauer | Spring |
| Faculty Instructors |
|
| Weekly Hours | 4 |
| Class ID | 600121324
|
Course Type 2016-2020
- Wissenschaftlicher Fachbereich
- Entwicklung von Fertigkeiten
Veranstaltungstyp
- Persönliche Anwesenheit
Elektronischer Zugang zu Unterrichtsmaterialien
- e-Study Guide https://qa.auth.gr/de/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.
Sprache
- Griechisch (Lehre, Prüfung)
Allgemeine Kompetenzen
- Anwendung des Wissens in der Praxis
- Recherche, Analyse und Verarbeitung von Daten und Informationen mittels der Verwendung technologischer Medien
- Anpassung an neue Situationen
- Entscheidungsfähigkeit
- Autonomes Arbeiten
- Gruppenarbeit
- Förderung des freien, kreativen und induktiven Denkens
Lehrmaterialien
- Skript
- Interaktive Übungen
Einsatz von Informations- und Kommunikationstechnologie
IKT-Nutzung
- Einsatz von IKT in der Lehre
- Einsatz von IKT in der Laborausbildung
- Einsatz von IKT in der Bewertung der Studierenden
Unterrichtsorganisation
| Activities | Arbeitsbelastung | ECTS | Einzelarbeit | Gruppenarbeit | Erasmus |
|---|---|---|---|---|---|
| Vorlesungen | 39 | ✓ | |||
| Übung | 13 | ✓ | |||
| Projekt | 69 | ✓ | ✓ | ||
| Prüfung | 3 | ✓ | |||
| Sonstiges / Sonstige | 26 | ✓ | |||
| Total | 150 |
Bewertung der Studierenden
Beschreibung des Verfahrens
- Schriftliche Prüfung mit Multiple-Choice-Fragen (Endnote)
- Schriftliche Prüfung mit kurzen Antworten auf Fragen (Endnote)
- Schriftliche Prüfung mit Problemlösung (Entwicklung, Endnote)
Empfohlene Bibliographie
zum Kurs (Eudoxos)
- ΣΑΚΕΛΛΑΡΙΟΥ, Η., ΒΑΣΙΛΕΙΑΔΗΣ, Ν., ΚΕΦΑΛΑΣ, Π., ΣΤΑΜΑΤΗΣ, Δ., 2016. Τεχνικές Λογικού Προγραμματισμού. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/777
- Μανόλης Μαρακάκης, “Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη”, ΕΚΔΟΣΕΙΣ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ, ISBN: 978-960-6759-98-7, 2014.
- Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα.
- Πολυμεσικός οδηγός εκμάθησης Prolog.
Weitere Bibliographie
- 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
