Course CompLog: Rozdiel medzi revíziami
| Riadok 7: | Riadok 7: | ||
<!--* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]--> | <!--* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]--> | ||
| − | == Syllabus == | + | === Syllabus === |
# First Order Logic | # First Order Logic | ||
| Riadok 13: | Riadok 13: | ||
# Logic programming | # Logic programming | ||
| − | == Evaluation == | + | === Evaluation === |
* Midterm: 15 pints (min 0) | * Midterm: 15 pints (min 0) | ||
| Riadok 21: | Riadok 21: | ||
* '''Total:''' 70 points | * '''Total:''' 70 points | ||
| − | Grading | + | === Grading === |
* A: 63 and more points | * A: 63 and more points | ||
| Riadok 28: | Riadok 28: | ||
* D: 42 and more points | * D: 42 and more points | ||
* E: 35 and more points | * E: 35 and more points | ||
| − | * Fx: less than | + | * Fx: less than 35 points |
| − | == Lecture Slides == | + | === Lecture Slides === |
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] | # [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] | ||
| − | == 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]] | ||
Verzia zo dňa a času 11:53, 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
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 35 points