Předmět Logika a logické programování (UI / DI010)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu UI / DI010 - Logika a logické programování, Filozoficko-přírodovědecká fakulta, Slezská univerzita v Opavě (SU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Formální systémy, pojmy. Dokazování, dedukce.2. Systém přirozené dedukce.3. Klauzulární logika a Klauzulární axiomatický systém.4. Programovací jazyk Prolog. Principy logického programování.5. Budování teorií. Matematické teorie. Teorie svazů.6. Vlastnosti teorií a formálních systémů. Gödelovy výsledky.
Získané způsobilosti
Teoretické porozumění tématům obsahového vymezení předmětu. Praktické dovednosti při práci s jednotlivými tématy.
Literatura
Šárka Vavrečková. Logika a logické programování: dodatek pro studenty doktorského studia. https://logika.mensikovi.com/http://fpf.slu.cz/~vav10ui/log2.htmlŠárka Vavrečková. Hilbertovský a gentzenovský systém. http://www.cs.waikato.ac.nz/ stever/LCS.htmlhttp://www.earlham.edu/ peters/courses/logsys/lshome.htmJ. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy. Praha, 1989. http://www.cs.vsb.cz/duzi/Matlogika.pdfhttp://www.cuni.cz/ jirkup/logika/logika2.psnull
Požadavky
Student absolvuje- písemný test, ve kterém musí získat alespoň 15 bodů z 30- písemnou zkoušku:- - Sémantika: nejméně 21 z 40 bodů- - Syntaxe: 21 ze 40 bodů,- - Prolog: 10 z 20 bodů.
Garant
RNDr. Šárka VAVREČKOVÁ, Ph.D.