(bonus assignement added) |
|||
(10 intermediate revisions by 3 users not shown) | |||
Riadok 1: | Riadok 1: | ||
− | + | {{Predmet | |
− | + | | name = Výpočtová logika | |
− | {{ | + | |
− | | name = | + | |
| code = 2-AIN-108 | | code = 2-AIN-108 | ||
− | | prerequisites = | + | | prerequisites = žiadne |
− | | semester = | + | | semester = Zimný |
| year = 1 | | year = 1 | ||
− | | credits = | + | | credits = 6 |
− | | form = L - | + | | form = L - prednáška (2), C - cvičenie (2) |
− | | evaluation = | + | | evaluation = 60/40 |
− | | webpage = | + | | webpage = http://courses.matfyz.sk/complog |
− | | teacher = [[Martin Homola | + | | teacher = [[Martin Homola|Martin Homola]], [[Julia Pukancova|Júlia Pukancová]] |
− | | | + | | description = Kurz predstavuje logiku ako metódu pre riešenie výpočtových problémov. Študentom sú predstavené rôzne logiky a logické systémy uplatňujúce sa v praxi ako napr. logické programovanie, modálne logiky, deskripčné logiky a ontológie, multi-kontextové systémy a pod. |
− | + | | offered_in = Povinne-voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] | |
− | + | | recommendations = žiadne | |
− | | offered_in = | + | |
− | | recommendations = | + | |
}} | }} | ||
− | == News == | + | <!-- |
+ | |||
+ | == News == | ||
+ | * '''Nov 12:''' Midterm results added (see below). The password is the same as for wiki assignments results. | ||
* '''Nov 10:''' New bonus assignment [[#HOWTO_Work_With_Sources|HOWTO Work With Sources]] added. | * '''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. | * '''Nov 2:''' Yes, the wiki assignment runs also during this week, even if there was no lecture. | ||
Riadok 35: | Riadok 34: | ||
--> | --> | ||
+ | <!-- | ||
* lectures: Tue 13:10 2h F-109 | * lectures: Tue 13:10 2h F-109 | ||
* labs: Wed 9:50 2h II | * labs: Wed 9:50 2h II | ||
Riadok 43: | Riadok 43: | ||
* Results (login required) | * Results (login required) | ||
+ | ** [http://ii.fmph.uniba.sk/~homola/complog/score-midterm.txt Midterm] | ||
** [http://ii.fmph.uniba.sk/~homola/complog/score-wiki.txt Wiki assignment] | ** [http://ii.fmph.uniba.sk/~homola/complog/score-wiki.txt Wiki assignment] | ||
− | + | ** [http://ii.fmph.uniba.sk/~homola/complog/score-bonus.txt Bonus assignment] | |
− | ** [http://ii.fmph.uniba.sk/~homola/complog/score- | + | |
− | + | ||
== Evaluation and Conditions == | == Evaluation and Conditions == | ||
Riadok 78: | Riadok 77: | ||
--> | --> | ||
+ | <!-- | ||
== Syllabus == | == Syllabus == | ||
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. | 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 == | == Slides == | ||
Riadok 142: | Riadok 142: | ||
# [http://www.dai.fmph.uniba.sk/w/File:Cl2011_c.pdf Description Logic ALC] | # [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_d.pdf Reasoning with ALC] | ||
− | # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_e.pdf Logic Programming | + | # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_e.pdf Logic Programming] |
+ | # [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] | ||
+ | # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_i.pdf Argumentation] | ||
=== Exercises === | === Exercises === | ||
# [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution] | # [http://www.dai.fmph.uniba.sk/w/File:Cl2011_x.pdf Resolution] | ||
+ | |||
+ | --> |
Aktuálna revízia z 10:25, 30. marec 2017
Výpočtová logika 2-AIN-108
choď na zoznam všetkých predmetov...
Názov a kód predmetu: | Výpočtová logika (2-AIN-108) |
Prerekvizity: | žiadne |
Vyučuje sa/odporúčaný ročník: | Zimný semester / 1 |
Forma a # hodín/týždeň: | L - prednáška (2), C - cvičenie (2) |
Kredity: | 6 |
Hodnotenie (semester/skúška): | 60/40 |
Webstránka predmetu: | http://courses.matfyz.sk/complog |
Informačný list: | Informačný list 2-AIN-108 (fakultná služba) |
Vyučujúci: | Martin Homola, Júlia Pukancová |
Popis predmetu:
Kurz predstavuje logiku ako metódu pre riešenie výpočtových problémov. Študentom sú predstavené rôzne logiky a logické systémy uplatňujúce sa v praxi ako napr. logické programovanie, modálne logiky, deskripčné logiky a ontológie, multi-kontextové systémy a pod.
Je časťou študijného programu: Povinne-voliteľný v Magisterskom programe Aplikovaná informatika
Odporúčania: žiadne