(update 2016/2017) |
|||
Riadok 1: | Riadok 1: | ||
This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics. | This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics. | ||
− | * Lecturers: | + | * Lecturers: Martin Homola, Júlia Pukancová |
− | * Lab assistants: Júlia Pukancová | + | * Lab assistants: Júlia Pukancová |
− | * Schedule: | + | * Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (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] | ||
− | |||
* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs] | * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs] | ||
− | '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments] | + | '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments] --> |
=== Syllabus === | === Syllabus === | ||
Riadok 33: | Riadok 32: | ||
* Fx: less than 34 points | * Fx: less than 34 points | ||
+ | <!-- | ||
=== Lecture Slides === | === Lecture Slides === | ||
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] | # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] | ||
Riadok 40: | Riadok 40: | ||
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]] | # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]] | ||
# More DLs and Their Applications | # More DLs and Their Applications | ||
+ | --> | ||
<!-- | <!-- | ||
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]] | # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]] | ||
--> | --> | ||
+ | <!-- | ||
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]] | # [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]] | ||
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]] | # [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]] | ||
Riadok 58: | Riadok 60: | ||
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]] | # [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]] | ||
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]] | # [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]] | ||
+ | --> | ||
<!--# | <!--# | ||
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]] | # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]] | ||
--> | --> |
Aktuálna revízia z 16:07, 14. september 2016
This is the homepage of 2-AIN-108 Computational Logic course in the Master program of Applied Informatics.
- Lecturers: Martin Homola, Júlia Pukancová
- Lab assistants: Júlia Pukancová
- Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (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 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