(Fixes in info, schedule, and commenting out old lectures) |
|||
| Riadok 3: | Riadok 3: | ||
* Lecturers: Martin Baláž, Martin Homola | * Lecturers: Martin Baláž, Martin Homola | ||
* Lab assistants: Martin Baláž | * Lab assistants: Martin Baláž | ||
| − | * Schedule: Tue | + | * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (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)--> | ||
* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs] | * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs] | ||
| Riadok 33: | Riadok 33: | ||
=== Lecture Slides === | === Lecture Slides === | ||
| − | # [[media: | + | # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] |
| − | # [[media: | + | # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]] |
| − | # [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]] | + | <!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]] |
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]] | # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]] | ||
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]] | # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]] | ||
| Riadok 44: | Riadok 44: | ||
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]] | # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]] | ||
# [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]] | # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]] | ||
| + | --> | ||
=== 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: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]] | ||
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]] | # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]] | ||
| Riadok 55: | Riadok 56: | ||
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]] | # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]] | ||
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]] | # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]] | ||
| + | --> | ||
Verzia zo dňa a času 23:05, 30. september 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