(First sketch: basic info, syllabus, evaluation)
 
Line 19: Line 19:
 
* Labs: 10 points (min 3)
 
* Labs: 10 points (min 3)
 
* Project/Homework: 5 points (min 1)
 
* Project/Homework: 5 points (min 1)
* '''Total''' 55 points
+
* '''Total:''' 55 points
  
 
Grading:
 
Grading:

Revision as of 08:42, 25 September 2012

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

  • Lecturers: Martin Baláž, Martin Homola
  • Lab assistants: Martin Baláž, Jozef Frtús
  • Schedule: Tue 9:50 F1-328 (lectures), Thu 8:10 M-XI (labs)

Syllabus

  1. First Order Logic
  2. Description logics and ontologies
  3. Logic programming
  4. Dynamic logic
  5. Multi-context systems (*)

Evaluation

  • Midterm: 10 pints
  • Exam: 30 points (min 10)
  • Labs: 10 points (min 3)
  • Project/Homework: 5 points (min 1)
  • Total: 55 points

Grading:

  • A: 47 and more points
  • B: 41 and more points
  • C: 35 and more points
  • D: 29 and more points
  • E: 23 and more points
  • Fx: less than 23 points