Line 7: Line 7:
 
<!--* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]-->
 
<!--* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]-->
  
== Syllabus ==
+
=== Syllabus ===
  
 
# First Order Logic
 
# First Order Logic
Line 13: Line 13:
 
# Logic programming
 
# Logic programming
  
== Evaluation ==
+
=== Evaluation ===
  
 
* Midterm: 15 pints (min 0)
 
* Midterm: 15 pints (min 0)
Line 21: Line 21:
 
* '''Total:''' 70 points
 
* '''Total:''' 70 points
  
Grading:
+
=== Grading ===
  
 
* A: 63 and more points  
 
* A: 63 and more points  
Line 28: Line 28:
 
* D: 42 and more points
 
* D: 42 and more points
 
* E: 35 and more points
 
* E: 35 and more points
* Fx: less than 28 points
+
* Fx: less than 35 points
  
== Lecture Slides ==
+
=== Lecture Slides ===
 
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
 
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
  
== 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]]

Revision as of 12:53, 25 September 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)

Syllabus

  1. First Order Logic
  2. Description logics and ontologies
  3. Logic programming

Evaluation

  • Midterm: 15 pints (min 0)
  • Exam: 30 points (min 10)
  • Labs: 10 points (min 3)
  • Project/Homework: 15 points (min 5)
  • Total: 70 points

Grading

  • A: 63 and more points
  • B: 56 and more points
  • C: 49 and more points
  • D: 42 and more points
  • E: 35 and more points
  • Fx: less than 35 points

Lecture Slides

  1. First Order Logic, Syntax and Semanics

Exercises

  1. First Order Logic, Syntax and Formalization