1. 1. Welcome
2. 2. Formalities
3. 1. 2.1. Lecturer
   2. 2.2. Syllabus
4. 3. Logic Programming
5. 1. 3.1. Week 1
   2. 3.2. Week 2
   3. 3.3. Week 3
   4. 3.4. Logic Project
   5. 3.5. Paper Presentations