89476 - LOGIC & COMPUTATION

Course Unit Page

SDGs

This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.

Quality education

Academic Year 2018/2019

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

Links to further information

http://apice.unibo.it/xwiki/bin/view/Courses/LcCs1819

Office hours

See the website of Andrea Omicini