This is the homepage of 2-AIN-108 Computational Logic course in the Master program of Applied Informatics.

  • Lecturers: Martin Homola, Júlia Pukancová
  • Lab assistants: Júlia Pukancová
  • Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (labs)

Syllabus

  1. First Order Logic
  2. Description Logics and Ontologies
  3. Logic Programming - Prolog
  4. Answer Set Programming

Evaluation

  • Midterm: 10 points (min 0)
  • Exam: 30 points (min 15)
  • Labs: 15 points (min 5)
  • Project/Homework: 15 points (min 5)
  • Total: 70 points

Grading

  • A: 62 and more points
  • B: 54 and more points
  • C: 47 and more points
  • D: 40 and more points
  • E: 34 and more points
  • Fx: less than 34 points


Revision as of 15:07, 14 September 2016 by Pukancova (Talk | contribs) (update 2016/2017)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)