COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING

Informazioni sull’Insegnamento
TitoloΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
CodiceNIS-06-02
Ciclo / Livello di Studi1. Corso di Laurea
Semestre di InsegnamentoSpring
CoordinatorNick Bassiliades
Common
StatoAttivo
Course ID40002952

Programma di Studio: PPS-Tmīma Plīroforikīs (2019-sīmera)

Registered students: 16
IndirizzoTipo di FrequenzaSemestreAnnoECTS
GENIKĪ KATEUTHYNSĪYPOCΗREŌTIKO KATA EPILOGĪ635

Informazioni sull’Insegnamento
Anno Accademico2017 – 2018
SemestreSpring
Faculty Instructors
Weekly Hours4
Class ID
600104749
Course Type 2016-2020
  • Area Scientifica
  • Sviluppo di Competenze
Organizzazione della Didattica
  • In presenza
Materiali Online
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Greco (Insegnamento, Esame)
Abilita’ Generali
  • Applicazione pratica delle conoscenze acquisite
  • Ricerca, analisi e raccolta dati e informazioni, con l’utilizzo di tecnologie adeguate
  • Adattamento a nuove situazioni
  • Presa di decisione
  • Lavoro autonomo
  • Lavoro in gruppo
  • Promuovere il pensiero indipendente, creativo e intuitivo
Tipologia di Materiale Didattico
  • Appunti
  • Esercizi interattivi
Use of Information and Communication Technologies
Use of ICT
  • Uso delle TIC   nell’ insegnamento
  • Uso delle TIC nella didattica laboratoriale
  • Uso delle TIC nella comunicazione con gli studenti
Organizzazione dell’Insegnamento
ActivitiesCarico di LavoroECTSIndividualeGruppoErasmus
Conferenze39
Frontistirio (Sostegno)13
Progetto (project)69
Esame3
Altro26
Total150
Student Assessment
Student Assessment methods
  • Prova scritta strutturata a scelta multipla (Sommativa)
  • Prova scritta semistrutturata con risposta breve (Sommativa)
  • Prova scritta con soluzione di problemi (Formativa, Sommativa)
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
02-06-2016