(L1 slides updated)
(Lab Evaluation google doc added)
Line 5: Line 5:
 
* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
 
* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
 
* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
 
* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
 +
*Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]
  
 
Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
 
Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled

Revision as of 14:49, 11 October 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), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
  • New: Project assignments (student's wiki)
  • Lab Evaluation: Google Doc

Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled

Syllabus

  1. First Order Logic
  2. Description logics and ontologies
  3. Logic programming
  4. Dynamic logic
  5. Argumentation
  6. 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

Lecture Slides and Exercises

Lectures

  1. Súbor:CompLog2012-Lecture-1-FOL.pdf (Updated 9 Oct: some notational fixes)
  2. Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf
  3. Súbor:CompLog2012-Lecture-3-DL.pdf

Exercises

  1. Súbor:Exercises-1-FOL.pdf
  2. Súbor:Exercises-2-FOL.pdf