UIN1008 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
zima 2017
Rozsah
2/2/0. 4 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 1993, zima 1994, zima 1995, zima 1996, zima 1997, zima 1998, zima 1999, zima 2002, zima 2003, zima 2004, zima 2005, zima 2006, zima 2007, zima 2008, zima 2009, zima 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2015, zima 2016, zima 2018, zima 2019, zima 2020, zima 2021, zima 2022.