Katedra aplikovanej informatiky

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 28 points

Lecture Slides

1. First Order Logic, Syntax and Semanics

Exercises

1. First Order Logic, Syntax and Formalization