- Docente: Andrea Omicini
- Credits: 1
- SSD: ING-INF/05
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
-
Corso:
Collegio Superiore in
(cod. COL1)
Also valid for Collegio Superiore in (cod. COL2)
Collegio Superiore in (cod. COL5)
Collegio Superiore in (cod. COL6)
Learning outcomes
At the end of the course, students get acquainted with the basics of computational logics and the essentials of logic programming, along with the first elements of Prolog. In addition, students can understand and foresee the role of declarative and logic models and technologies in the ICT systems to come.
Course contents
- logic and computation
- computational logic
- logic programming
- role of logic programming in pervasive intelligent systems
Readings/Bibliography
The bibliography is made available through the web site of the course.
Teaching methods
- Lessons with slides (in English)
- Examples discussed by the professor
Assessment methods
Presentation of a short report on a related theme
Teaching tools
- Web site of the professor
- Web site of the course with slides (PDF), other materials, and useful links
Links to further information
http://apice.unibo.it/xwiki/bin/view/Courses/LcCs1819
Office hours
See the website of Andrea Omicini
SDGs
This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.