(Structure updated) |
|||
Line 2: | Line 2: | ||
* Lecturers: Martin Baláž, Martin Homola | * Lecturers: Martin Baláž, Martin Homola | ||
− | * Lab assistants: Martin Baláž | + | * Lab assistants: Martin Baláž |
− | * Schedule: Tue | + | * Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs) |
− | * '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki) | + | <!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)--> |
− | * '''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 == | ||
Line 14: | Line 12: | ||
# Description logics and ontologies | # Description logics and ontologies | ||
# Logic programming | # Logic programming | ||
− | |||
− | |||
− | |||
== Evaluation == | == Evaluation == | ||
− | * Midterm: | + | * Midterm: 15 pints (min 0) |
* Exam: 30 points (min 10) | * Exam: 30 points (min 10) | ||
* Labs: 10 points (min 3) | * Labs: 10 points (min 3) | ||
− | * Project/Homework: | + | * Project/Homework: 15 points (min 5) |
− | * '''Total:''' | + | * '''Total:''' 70 points |
Grading: | Grading: | ||
− | * A: | + | * A: 63 and more points |
− | * B: | + | * B: 56 and more points |
− | * C: | + | * C: 49 and more points |
− | * D: | + | * D: 42 and more points |
− | * E: | + | * E: 35 and more points |
− | * Fx: less than | + | * Fx: less than 28 points |
== Lecture Slides == | == Lecture Slides == | ||
− | # [[ | + | # [[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]] |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + |
Revision as of 11:41, 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 28 points