(Grading fix) |
|||
Line 24: | Line 24: | ||
=== Grading === | === Grading === | ||
− | * A: | + | * A: 62 and more points |
− | * B: | + | * B: 54 and more points |
− | * C: | + | * C: 47 and more points |
− | * D: | + | * D: 40 and more points |
− | * E: | + | * E: 34 and more points |
− | * Fx: less than | + | * Fx: less than 34 points |
=== Lecture Slides === | === Lecture Slides === |
Revision as of 13:55, 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
- First Order Logic
- Description Logics and Ontologies
- Logic Programming - Prolog
- 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