(update 2016/2017)
 
Riadok 1: Riadok 1:
 
This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.
 
This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.
  
* Lecturers: Martin Baláž, Martin Homola
+
* Lecturers: Martin Homola, Júlia Pukancová
* Lab assistants: Júlia Pukancová, Martin Baláž
+
* Lab assistants: Júlia Pukancová
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)
+
* Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (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]
-->
 
 
* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
 
* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]
+
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments] -->
 
=== Syllabus ===
 
=== Syllabus ===
  
Riadok 33: Riadok 32:
 
* Fx: less than 34 points
 
* Fx: less than 34 points
  
 +
<!--
 
=== Lecture Slides ===
 
=== Lecture Slides ===
 
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
 
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
Riadok 40: Riadok 40:
 
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 
# More DLs and Their Applications
 
# More DLs and Their Applications
 +
-->
 
<!--
 
<!--
 
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
 
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
 
-->
 
-->
 +
<!--
 
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
 
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
 
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
 
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
Riadok 58: Riadok 60:
 
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
 
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
 
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]
 
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]
 +
-->
 
<!--#  
 
<!--#  
 
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 
-->
 
-->

Aktuálna revízia z 15:07, 14. september 2016

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