Riadok 10: Riadok 10:
  
 
# First Order Logic
 
# First Order Logic
# Description logics and ontologies
+
# Description Logics and Ontologies
# Logic programming - Prolog
+
# Logic Programming - Prolog
 
# Answer Set Programming
 
# Answer Set Programming
  

Verzia zo dňa a času 12:04, 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 - Prolog
  4. Answer Set 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