COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
| Titolo | ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING |
| Codice | NIS-06-02 |
| Ciclo / Livello di Studi | 1. Corso di Laurea |
| Semestre di Insegnamento | Spring |
| Coordinator | Nick Bassiliades |
| Common | Sì |
| Stato | Attivo |
| Course ID | 40002952 |
Programma di Studio: PPS-Tmīma Plīroforikīs (2019-sīmera)
Registered students: 36
| Indirizzo | Tipo di Frequenza | Semestre | Anno | ECTS |
|---|---|---|---|---|
| GENIKĪ KATEUTHYNSĪ | YPOCΗREŌTIKO KATA EPILOGĪ | 6 | 3 | 5 |
| Anno Accademico | 2018 – 2019 |
| Semestre | Spring |
| Faculty Instructors |
|
| Weekly Hours | 4 |
| Class ID | 600121324
|
Course Type 2016-2020
- Area Scientifica
- Sviluppo di Competenze
Organizzazione della Didattica
- In presenza
Materiali Online
- e-Study Guide https://qa.auth.gr/it/class/1/600121324
- eLearning (Moodel/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
- 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
| Activities | Carico di Lavoro | ECTS | Individuale | Gruppo | Erasmus |
|---|---|---|---|---|---|
| Conferenze | 39 | ✓ | |||
| Frontistirio (Sostegno) | 13 | ✓ | |||
| Progetto (project) | 69 | ✓ | ✓ | ||
| Esame | 3 | ✓ | |||
| Altro | 26 | ✓ | |||
| Total | 150 |
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
27-01-2020
