(Fixes in info, schedule, and commenting out old lectures)
Line 3: Line 3:
 
* Lecturers: Martin Baláž, Martin Homola
 
* Lecturers: Martin Baláž, Martin Homola
 
* Lab assistants: Martin Baláž
 
* Lab assistants: Martin Baláž
* Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs)
+
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (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/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
 
* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
Line 33: Line 33:
  
 
=== Lecture Slides ===
 
=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
+
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
+
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
+
<!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
 
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
 
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
 
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
Line 44: Line 44:
 
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]
 
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]
 
# [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]
 
# [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]
 +
-->
  
 
=== Exercises ===
 
=== Exercises ===
 
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
 
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
+
<!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
 
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
 
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
 
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
 
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
Line 55: Line 56:
 
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]
 
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]
 
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 +
-->

Revision as of 23:05, 30 September 2014

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 14:00 F1-109 (lectures), Thu 12:20 F1-247 (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

Exercises

  1. First Order Logic, Syntax and Formalization