UIDI010 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
zima 2017
Rozsah
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
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ů.
AktivityNáročnost [h]
Příprava na zkoušku24
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 2006, léto 2007, zima 2007, léto 2008, zima 2008, léto 2009, zima 2009, léto 2010, zima 2010, léto 2011, zima 2011, léto 2012, zima 2012, léto 2013, zima 2013, léto 2014, zima 2014, léto 2015, zima 2015, léto 2016, zima 2016, léto 2017, léto 2018, zima 2018, léto 2019, zima 2019, léto 2020, zima 2020, léto 2021, zima 2021, léto 2022.