Předmět Logika a logické programování (UI / KKB50)
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 / KKB50 - 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
Dedukce a odvozování závěru.Formální systémy, axiomy, odvozování.Systém přirozené dedukce.Klauzulární logika a klauzulární axiomatický systém.Logické programování v Prologu.Principy logického programování.
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
https://logika.mensikovi.com/http://fpf.slu.cz/~vav10ui/log2.htmlBIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997. http://www.cs.waikato.ac.nz/ stever/LCS.htmlhttp://www.earlham.edu/ peters/courses/logsys/lshome.htmLUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. J. 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
Studenti by se měli naučit principům logického vyvozování, využívání dedukce. Výuka směřuje k pochopení principu logického programování (konkrétně v jazyce Prolog), na kterém do značné míry stojí metody umělé inteligence.
Garant
RNDr. Šárka VAVREČKOVÁ, Ph.D.
Vyučující
RNDr. Šárka VAVREČKOVÁ, Ph.D.