Computational Logic - História úprav

Homola: Adding a link to a separate course home page, commenting out, old information

2012-09-25T10:28:46Z

Adding a link to a separate course home page, commenting out, old information

Balaz na 14:44, 3. september 2012

2012-09-03T14:44:11Z

Balaz na 14:41, 3. september 2012

2012-09-03T14:41:22Z

Balaz na 13:44, 3. september 2012

2012-09-03T13:44:37Z

Homola: added bonus score

2012-01-10T16:08:11Z

added bonus score

Balaz na 13:15, 7. december 2011

2011-12-07T13:15:42Z

Balaz na 12:51, 15. november 2011

2011-11-15T12:51:49Z

Homola: midterm results

2011-11-12T16:19:09Z

midterm results

Homola: typo

2011-11-10T22:26:11Z

typo

Homola: bonus assignement added

2011-11-10T22:17:15Z

bonus assignement added

@@ Riadok 10: / Riadok 10: @@
    | form = L - lecture (2), P - practicals (2)
    | evaluation = 50/50
-   | webpage = you are reading it
+   | webpage = http://www.dai.fmph.uniba.sk/w/Course_CompLog
    | teacher = [[Martin Homola|Homola M.]] (lectures), [[Martin Balaz|Baláž M.]] (lectures), [[Jozef Frtus|Frtús J.]] (practicals)
    | description = The course introduces logic as a method for computational problem solving. It introduces multiple practical logics and logic based systems such as logic programs, modal logics, description logics and ontologies, multi context systems, etc. with readily available reasoners.
@@ Riadok 16: / Riadok 16: @@
    | recommendations = none
 }}
 == News ==
@@ Riadok 34: / Riadok 36: @@
 -->
 * lectures: Tue 13:10 2h F-109
 * labs: Wed 9:50 2h II
@@ Riadok 76: / Riadok 79: @@
 -->
 == Syllabus ==
@@ Riadok 147: / Riadok 151: @@
 === Exercises ===
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution]

@@ Riadok 4: / Riadok 4: @@
    | name = Computational Logic
    | code = 2-AIN-108
-   | prerequisites = 1-AIN-411
+   | prerequisites = [[Introduction to Computational Logic|1-AIN-411]]
    | semester = Winter
    | year = 1

@@ Riadok 11: / Riadok 11: @@
    | evaluation = 50/50
    | webpage = you are reading it
-   | teacher = [[Martin Homola]], [[Martin Balaz|Martin Baláž]] (lectures), [[Alexander Simko|Alexander Šimko]](labs)
+   | teacher = [[Martin Homola|Homola M.]] (lectures), [[Martin Balaz|Baláž M.]] (lectures), [[Jozef Frtus|Frtús J.]] (practicals)
-  | email = teaching[[Image:zavinac.gif|@]]tbc.sk, balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
-  | homepage = http://www.dai.fmph.uniba.sk/w/Computational_Logic
    | description = The course introduces logic as a method for computational problem solving. It introduces multiple practical logics and logic based systems such as logic programs, modal logics, description logics and ontologies, multi context systems, etc. with readily available reasoners.
    | offered_in = Compulsory elective for the [[Master program in Applied Informatics]]

@@ Riadok 4: / Riadok 4: @@
    | name = Computational Logic
    | code = 2-AIN-108
-   | prerequisites = none
+   | prerequisites = 1-AIN-411
    | semester = Winter
    | year = 1

@@ Riadok 44: / Riadok 44: @@
 * Results (login required)
 ** [http://ii.fmph.uniba.sk/~homola/complog/score-midterm.txt Midterm]
 == Evaluation and Conditions ==

@@ Riadok 144: / Riadok 144: @@
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_f.pdf Prolog]
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_g.pdf Answer Set Programming]
 === Exercises ===
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution]

@@ Riadok 141: / Riadok 141: @@
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_c.pdf Description Logic ALC]
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_d.pdf Reasoning with ALC]
-# [http://www.dai.fmph.uniba.sk/w/File:Cl2011_e.pdf Logic Programming - Prolog]
+# [http://www.dai.fmph.uniba.sk/w/File:Cl2011_e.pdf Logic Programming]
 === Exercises ===
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution]

@@ Riadok 19: / Riadok 19: @@
 }}
-== News ===
+== News ==
 * '''Nov 10:''' New bonus assignment [[#HOWTO_Work_With_Sources|HOWTO Work With Sources]] added.
 * '''Nov 2:''' Yes, the wiki assignment runs also during this week, even if there was no lecture.
@@ Riadok 44: / Riadok 45: @@
 * Results (login required)
 ** [http://ii.fmph.uniba.sk/~homola/complog/score-wiki.txt Wiki assignment]
 ** [http://ii.fmph.uniba.sk/~homola/complog/score-midterm.txt Midterm]
 == Evaluation and Conditions ==

@@ Riadok 133: / Riadok 133: @@
 Use Slovak language in this document. If you wish, you can also create an english version as a separate wiki page. There is probably a large number of publications and articles on this topic available via the Web. Use these sources (proprely) to learn about this problematics. Before you contribute, don't forget to log in.
-The deadline for this assignment is 8 Jan 2012 and you can earn up to 5 additional points with it. After the deadline we will evaluate the 5 best contributors to. The first will get 5 points, the second will get 4 points, and so on.
+The deadline for this assignment is 8 Jan 2012 and you can earn up to 5 additional points with it. After the deadline we will evaluate the 5 best contributors to this assignment. The first will get 5 points, the second will get 4 points, and so on.
 == Slides ==

@@ Riadok 20: / Riadok 20: @@
 == News ===
 * '''Nov 2:''' Yes, the wiki assignment runs also during this week, even if there was no lecture.
 * '''Oct 31:''' Midterm will take place on Wed 2 Nov 2011 9:50 in room II
@@ Riadok 48: / Riadok 49: @@
 == Evaluation and Conditions ==
 There will be a midterm and a final exam. During the semester you can earn
-evaluation points at the practicals (possibly for homeworks) and by participating on the wiki-based collaborative [[#Lecture_Notes|lecture notes]]. You can earn up to 102 points:
+evaluation points at the practicals (possibly for homeworks) and by participating on the wiki-based collaborative [[#Lecture_Notes|lecture notes]]. You can earn up to <s>102 points</s> 107 points:
 * practicals: 3 pts every week (6 weeks)
@@ Riadok 56: / Riadok 59: @@
 * midterm: 15 pts
 * exam: 30 pts
 The following grading scale will be used:
@@ Riadok 115: / Riadok 119: @@
 &spades;) The last two topics of the course may be left out due to time constraints
-== Lecture Notes ==
+== Assignments ==
 There is no coherent study-material for this course. You are advised to take notes. To facilitate this, we have created dedicated lecture-notes pages in the students' wiki where '''you are all asked to regularly contribute''' in a collaborative fashion. Your goal is to keep coherent, full-scope, '''up-to-date''' lecture notes, covering all material from the lectures. And at least briefly, also the practicals. For your activity you can earn up to 3 pts per week. Visit the [http://wiki.matfyz.sk/CL2011_Poznámky_k_predmetu_Výpočtová_logika lecture notes].
-== Lecture slides ==
+=== HOWTO Work With Sources ===
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_a.pdf Propositional Logic]
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_b.pdf First-Order Logic]
@@ Riadok 126: / Riadok 144: @@
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_e.pdf Logic Programming - Prolog]
-== Exercises ==
+=== Exercises ===
 # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution]