FPF:UIKKB50 Logika a logické programování - Informace o předmětu
UIKKB50 Logika a logické programování
Filozoficko-přírodovědecká fakulta v Opavězima 2015
- Rozsah
- Přednáška 6 HOD/SEM, Seminář 6 HOD/SEM. 6 kr. Ukončení: zk.
- Vyučující
- RNDr. Šárka Vavrečková, Ph.D. (přednášející)
RNDr. Šárka Vavrečková, Ph.D. (cvičící) - Garance
- RNDr. Šárka Vavrečková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Předpoklady
- Předpokládá se absolvování předmětu Úvod do logiky, tedy základní znalosti ve výrokové a predikátové logice, Hilbertovský a Gentzenovský systém, základní princip dedukce.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informační studia se zaměřením na knihovnictví (program FPF, B7201 InSK)
- Cíle předmětu
- Kurz navazuje na kurz Úvod do logiky. Zabýváme se postupně několika logickými systémy, z nichž poslední, Klauzulární axiomatický systém, je využit jako základ pro logické programování. V kurzu se studenti zabývají především teoretickými východisky logického programování, tedy základní myšlenkou, možnostmi a postupy. Od postupů demonstrovaných v Klauzulární logice přecházíme k programování v programovacím jazyce Prolog. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Úvod do logiky.
- Osnova
- 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í.
- Dedukce a odvozování závěru.
- Literatura
- povinná literatura
- MENŠÍK, M. Webová stránka k předmětu. URL info
- Šárka Vavrečková. Webová stránka s informacemi o předmětu a studijními materiály. URL info
- doporučená literatura
- Suber, P. Logical Systems. Skripta Earlham College Richmond, Indiana. URL info
- Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
- Jirků, P., Vejnarová, V. Neformální výklad základů formální logiky. VŠE Praha, 2000. URL info
- BIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997. info
- LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. info
- Jirků, P. a kol. Programování v jazyku Prolog. SNTL Praha, 1991. info
- Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley Longman Publishing Co. Boston, 1990. URL info
- J. Kolář, O. Štěpánková, M. Chytil. Logika, algebry a grafy. Praha, 1989. info
- Výukové metody
- Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu - Metody hodnocení
- Písemná zkouška
Zkouška - Informace učitele
- 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.
Aktivity Náročnost [h] Příprava na zápočet 3 Příprava na zkoušku 3 Účast na výuce 6 Celkem 12 - Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (zima 2015, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/zima2015/UIKKB50