COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING
| Title | ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / COMPUTATIONAL LOGIC AND LOGIC PROGRAMMING |
| Code | NIS-06-02 |
| Faculty | Sciences |
| School | Informatics |
| Cycle / Level | 1st / Undergraduate |
| Teaching Period | Spring |
| Coordinator | Nick Bassiliades |
| Common | No |
| Status | Active |
| Course ID | 40002952 |
Programme of Study: PPS-Tmīma Plīroforikīs (2019-sīmera)
Registered students: 5
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| GENIKĪ KATEUTHYNSĪ | YPOCΗREŌTIKO KATA EPILOGĪ | 6 | 3 | 5 |
| Academic Year | 2013 – 2014 |
| Class Period | Spring |
| Faculty Instructors |
|
| Weekly Hours | 4 |
| Class ID | 40049972
|
Course Type 2016-2020
- Scientific Area
- Skills Development
Course Type 2011-2015
Specific Foundation / Core
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/40049972
- eLearning (Moodle): http://pileas.csd.auth.gr
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
- Greek (Instruction, Examination)
Prerequisites
General Prerequisites
Basic knowledge of discrete mathematics, Basic knowledge of programming, Basic knowledge of data structures
Learning Outcomes
Knowledge: Familiarization with Mathematical Logic principles, Familiarization with using Logic as a Programming Languages, Training on Prolog programming language.
Skills: Representing and solving logical expressions. Programming with the Prolog programming language.
General Competences
- Apply knowledge in practice
- Retrieve, analyse and synthesise data and information, with the use of necessary technologies
- Adapt to new situations
- Make decisions
- Work autonomously
- Work in teams
- Advance free, creative and causative thinking
Course Content (Syllabus)
Mathematical Logic (Propositional calculus, normal forms, inference mechanisms, resolution principle, predicate calculus, variables and quantifiers, variable substitution and unification). From Logic to Logic Programming (Kowalski form, Horn clauses).
Logic Programming (Basic concepts, history, Prolog language). Syntax of Logic programs (Queries, Rules, Predicates, Complex Terms). Unification. Execution control mechanism. Recursion. Lists. Number representation (arithmetic operations, comparison, mathematical functions). String handling. Input/Output. Variable Goals. Term type testing. Term construction/decomposition. Cut (effect on the computation tree, usage). Negation as failure. Solution management. Clause management. Programming methodology. Logic Programming Applications.
Keywords
mathematical logic, computational logic, logic programming, Prolog
Educational Material Types
- Slide presentations
- Book
- Programs
Use of Information and Communication Technologies
Use of ICT
- Use of ICT in Course Teaching
- Use of ICT in Laboratory Teaching
- Use of ICT in Communication with Students
Description
Powerpoint slides, Multimedia Programming guide, Prolog programming language demonstration
Course Organization
| Activities | Workload | ECTS | Individual | Teamwork | Erasmus |
|---|---|---|---|---|---|
| Lectures | ✓ | ||||
| Tutorial | ✓ | ||||
| Project | ✓ | ||||
| self-study | ✓ | ||||
| Total |
Student Assessment
Description
Written exams (70%), Programming Projects (30%)
Student Assessment methods
- Written Exam with Multiple Choice Questions (Summative)
- Written Exam with Short Answer Questions (Summative)
- Written Assignment (Formative, Summative)
Bibliography
Course Bibliography (Eudoxus)
- PROγραμματίζοντας στη LOGική, Μ. Κατζουράκη, Μ. Γεργατσούλης, Σ. Κόκκοτος, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής, Αθήνα 1991.
- Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα.
- Πολυμεσικός οδηγός εκμάθησης 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
25-04-2014
