(Added lecture 4)
(Projects link added)
Line 5: Line 5:
 
* Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs)
 
* Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (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)-->
* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
+
* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
 +
*  '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]
  
 
=== Syllabus ===
 
=== Syllabus ===

Revision as of 14:57, 23 October 2013

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áž
  • Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs)
  • Lab Evaluation: Google Docs
  • New: Project assignments

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

Lecture Slides

  1. First Order Logic, Syntax and Semanics
  2. Reasoning with FOL
  3. Applications of FOL
  4. Description Logics

Exercises

  1. First Order Logic, Syntax and Formalization
  2. First Order Logic, Semantics
  3. First Order Logic, Reasoning