Course CompLog: Rozdiel medzi revíziami
| (43 medziľahlých úprav od 3 ďalších používateľov nie je zobrazených) | |||
| Riadok 2: | Riadok 2: | ||
* Lecturers: Martin Baláž, Martin Homola | * Lecturers: Martin Baláž, Martin Homola | ||
| − | * Lab assistants: Martin Baláž | + | * Lab assistants: Júlia Pukancová, 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/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs] | ||
| + | '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments] | ||
=== Syllabus === | === Syllabus === | ||
# First Order Logic | # First Order Logic | ||
| − | # Description | + | # Description Logics and Ontologies |
| − | # Logic | + | # Logic Programming - Prolog |
# Answer Set Programming | # Answer Set Programming | ||
=== Evaluation === | === Evaluation === | ||
| − | * Midterm: | + | * Midterm: 10 points (min 0) |
| − | * Exam: 30 points (min | + | * Exam: 30 points (min 15) |
| − | * Labs: | + | * Labs: 15 points (min 5) |
* Project/Homework: 15 points (min 5) | * Project/Homework: 15 points (min 5) | ||
* '''Total:''' 70 points | * '''Total:''' 70 points | ||
| Riadok 24: | Riadok 26: | ||
=== Grading === | === Grading === | ||
| − | * A: | + | * A: 62 and more points |
| − | * B: | + | * B: 54 and more points |
| − | * C: | + | * C: 47 and more points |
| − | * D: | + | * D: 40 and more points |
| − | * E: | + | * E: 34 and more points |
| − | * Fx: less than | + | * Fx: less than 34 points |
=== Lecture Slides === | === Lecture Slides === | ||
| − | # [[media: | + | # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] |
| + | # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]] | ||
| + | # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]] | ||
| + | # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]] | ||
| + | # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]] | ||
| + | # 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-8-Prolog.pdf|Logic Programming and Prolog]] | ||
| + | # [[media:CompLog2014-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]] | ||
| + | # [[media:CompLog2014-Lecture-10-ASP.pdf|Answer Set Programming]] | ||
| + | # [[media:CompLog2014-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:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]] | ||
| + | # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]] | ||
| + | # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]] | ||
| + | # [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]] | ||
| + | # [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]] | ||
| + | # [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]] | ||
| + | # [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]] | ||
| + | <!--# | ||
| + | # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]] | ||
| + | --> | ||
Aktuálna revízia z 18:33, 30. december 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: Júlia Pukancová, 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
Lecture Slides
- First Order Logic, Syntax and Semanics
- Reasoning with FOL
- Applications of FOL
- Description Logics
- Reasoning with DL
- More DLs and Their Applications
- Introduction to Logic Programming
- Logic Programming and Prolog
- Applications of Prolog
- Answer Set Programming
- Extensions and Applications of ASP