(First sketch: basic info, syllabus, evaluation) |
|||
Line 19: | Line 19: | ||
* Labs: 10 points (min 3) | * Labs: 10 points (min 3) | ||
* Project/Homework: 5 points (min 1) | * Project/Homework: 5 points (min 1) | ||
− | * '''Total''' 55 points | + | * '''Total:''' 55 points |
Grading: | Grading: |
Revision as of 08:42, 25 September 2012
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áž, Jozef Frtús
- Schedule: Tue 9:50 F1-328 (lectures), Thu 8:10 M-XI (labs)
Syllabus
- First Order Logic
- Description logics and ontologies
- Logic programming
- Dynamic logic
- Multi-context systems (*)
Evaluation
- Midterm: 10 pints
- Exam: 30 points (min 10)
- Labs: 10 points (min 3)
- Project/Homework: 5 points (min 1)
- Total: 55 points
Grading:
- A: 47 and more points
- B: 41 and more points
- C: 35 and more points
- D: 29 and more points
- E: 23 and more points
- Fx: less than 23 points