FPF:UIKKB50 Logika a logické programování - Informace o předmětu

UIKKB50 Logika a logické programování

Rozsah

Přednáška 6 HOD/SEM, Seminář 6 HOD/SEM. 6 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 otevřen studentům libovolného oboru.

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.

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 2017, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/zima2017/UIKKB50