Zobrazenie zdroja stránky Course CompLog

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)
<!--* '''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]-->

=== Syllabus ===

# First Order Logic
# Description Logics and Ontologies
# Logic Programming - Prolog
# Answer Set Programming

=== Evaluation ===

* Midterm: 10 points (min 0)
* Exam: 30 points (min 10)
* Labs: 15 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 35 points

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]