FPF:UIDI010 Logika a logické programování - Informace o předmětu
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
- 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.
- 1. Formální systémy, pojmy. Dokazování, dedukce.
- 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 2017, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/zima2017/UIDI010