Course CompLog: Rozdiel medzi revíziami
| Riadok 16: | Riadok 16: | ||
=== Evaluation === | === Evaluation === | ||
| − | * Midterm: | + | * Midterm: 10 points (min 0) |
* Exam: 30 points (min 10) | * Exam: 30 points (min 10) | ||
| − | * Labs: | + | * Labs: 15 points (min 3) |
* Project/Homework: 15 points (min 5) | * Project/Homework: 15 points (min 5) | ||
* '''Total:''' 70 points | * '''Total:''' 70 points | ||
Verzia zo dňa a času 12:47, 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 10)
- Labs: 15 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