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

UIBUC16 Logika a logické programování

Rozsah

2/2/0. 5 kr. Ukončení: zk.

Vyučující

RNDr. Šárka Vavrečková, Ph.D. (přednášející)
Mgr. Marek Menšík, 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

• Informatika (dvouoborové) (program FPF, B1803 InDO)
• Informatika (dvouoborové) (program FPF, B6107 HuSt)

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
• Šá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í

Metody hodnocení

Písemná 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 zkoušku	12
Účast na výuce	12
Celkem	24

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (zima 2013, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/zima2013/UIBUC16