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

UIDI010 Logika a logické programování

Rozsah

0/0/0. 0 kr. Ukončení: dzk.

Garance

Mgr. Marek Menšík, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě

Předpoklady

U studentů předpokládáme alespoň základní znalosti v oblasti výrokové a predikátové logiky. Studenti, kteří neabsolvovali předmět Logika a logické programování na bakalářském stupni na Ústavu informatiky, si také dostudují alespoň Hilbertovský a Gentzenovský systém z materiálů, které jsou k dispozici na webu vyučujícího.

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

• Autonomní systémy (program FPF, P1801 Inf) (2)
• Autonomous Systems (program FPF, P1801 Inf) (2)

Cíle předmětu

V tomto předmětu se zabýváme formálními systémy a teoriemi. Z jednoho z formálních systémů, Klauzulárního axiomatického systému, vychází logické programování, které je také součástí náplně předmětu. Na doktorském stupni dále v tomto předmětu probíráme různé teorie a jejich axiomatiku, například teorie uspořádání nebo teorie různých struktur včetně teorie svazů.

Osnova

• 1. Formální systémy, pojmy. Dokazování, dedukce.
  2. Systém přirozené dedukce.
  3. Klauzulární logika a Klauzulární axiomatický systém.
  4. Programovací jazyk Prolog. Principy logického programování.
  5. Budování teorií. Matematické teorie. Teorie svazů.
  6. Vlastnosti teorií a formálních systémů. Gödelovy výsledky.

Literatura

povinná literatura
• Vavrečková, Šárka. Dodatečný studijní materiál pro studenty doktorského studia. URL info
• Vavrečková, Šárka. Hilbertovský a Gentzenovský formální systém (skripta). URL info
• 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
• 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

Student absolvuje
- písemný test, ve kterém musí získat alespoň 15 bodů z 30
- písemnou zkoušku:
- - Sémantika: nejméně 21 z 40 bodů
- - Syntaxe: 21 ze 40 bodů,
- - Prolog: 10 z 20 bodů.

Aktivity	Náročnost [h]
Příprava na zkoušku	24
Celkem	24

Další komentáře

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

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