COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING

Informationen zur Lehrveranstaltung
TitelΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
CodeNIS-06-02
Cycle / Level1. Grund- und Hauptstudiengang
SemesterSpring
CoordinatorNick Bassiliades
CommonJa
StatusAktiv
Course ID40002952

Studienplan: PPS-Tmīma Plīroforikīs (2019-sīmera)

Registered students: 33
FachrichtungForm des KursbesuchsSemesterJahrECTS
GENIKĪ KATEUTHYNSĪYPOCΗREŌTIKO KATA EPILOGĪ635

Informationen zur Veranstaltung
Akademisches Jahr2018 – 2019
KurslehrdauerSpring
Faculty Instructors
Weekly Hours4
Class ID
600121324
Course Type 2016-2020
  • Wissenschaftlicher Fachbereich
  • Entwicklung von Fertigkeiten
Veranstaltungstyp
  • Persönliche Anwesenheit
Elektronischer Zugang zu Unterrichtsmaterialien
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
ActivitiesArbeitsbelastungECTSEinzelarbeitGruppenarbeitErasmus
Vorlesungen39
Übung13
Projekt69
Prüfung3
Sonstiges / Sonstige26
Total150
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