(Added lecture 4) |
(Projects link added) |
||
| Riadok 5: | Riadok 5: | ||
* Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs) | * 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)--> | ||
| − | * | + | * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs] |
| + | * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments] | ||
=== Syllabus === | === Syllabus === | ||
Verzia zo dňa a času 14:57, 23. október 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)
- 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