UIBUC16 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
zima 2018
Rozsah
2/2/0. 5 kr. Ukončení: zk.
Vyučující
Mgr. Marek Menšík, Ph.D. (přednášející)
Mgr. Marek Menšík, Ph.D. (cvičící)
Garance
Mgr. Marek Menšík, 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
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í.
Literatura
    povinná literatura
  • Vavrečková, Šárka. WWW stránky předmětu, skripta. 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.
AktivityNáročnost [h]
Příprava na zkoušku12
Účast na výuce12
Celkem24
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2015, zima 2016, zima 2017, zima 2019, zima 2020, zima 2021.