Course CompLog: Rozdiel medzi revíziami
(Added: lecture 3) |
(Added: exercise 2-3) |
||
| Riadok 51: | Riadok 51: | ||
=== Exercises === | === Exercises === | ||
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]] | # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]] | ||
| + | # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]] | ||
<!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]] | <!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]] | ||
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]] | # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]] | ||
Verzia zo dňa a času 23:25, 14. október 2014
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 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)
- Lab Evaluation: Google Docs
- New: Project assignments
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