(midterm results) |
|||
| (8 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 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 == | ||
| Line 36: | Line 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 | ||
| Line 44: | Line 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-midterm.txt Midterm] | ||
| + | ** [http://ii.fmph.uniba.sk/~homola/complog/score-wiki.txt Wiki assignment] | ||
| + | ** [http://ii.fmph.uniba.sk/~homola/complog/score-bonus.txt Bonus assignment] | ||
== Evaluation and Conditions == | == Evaluation and Conditions == | ||
| Line 77: | Line 77: | ||
--> | --> | ||
| + | <!-- | ||
== Syllabus == | == Syllabus == | ||
| Line 141: | Line 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] | ||
| + | |||
| + | --> | ||
Latest revision as of 09:25, 30 March 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