UIMOIBP015 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
zima 2021
Rozsah
2/2/0. 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ě
Rozvrh
Čt 10:35–12:10 B3a
  • Rozvrh seminárních/paralelních skupin:
UIMOIBP015/A: Čt 12:15–13:50 B3a, M. Menšík
Předpoklady
Úvod do logiky
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
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.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- použít dedukci a odvozování v logických systémech;
- popsat Klauzulární axiomatický systém;
- aplikovat principylogického programování na jednoduchý praktický problém;
Osnova
  • 1. Dedukce a odvozování závěru.
  • 2. Formální systémy, axiomy, odvozování.
  • 3. Systém přirozené dedukce.
  • 4. Klauzulární logika a klauzulární axiomatický systém.
  • 5. Logické programování v Prologu.
  • 6. Principy logického programování.
Literatura
    povinná literatura
  • Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
  • VAVREČKOVÁ, Šárka. Logika a logické programování: studijní text pro studenty doktorského studia. Slezská univerzita v Opavě.
    doporučená literatura
  • GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-0-486-78082-5. info
  • NIEVERGELT, Yves. Logic, mathematics, and computer science: modern foundationswith practical applications. Second edition. New York: Springer, 2015. ISBN 978-1-4939-3222-1. info
  • TRLIFAJOVÁ, Kateřina a Daniel VAŠATA. Matematická logika. Praha: České vysoké učení technické, 2013. ISBN 978-80-01-05342-3. info
  • BEN-ARI, M. Mathematical logic for computer science. Third edition. New York: Springer, 2012. ISBN 978-1-4471-4128-0. info
  • JIRKŮ, Petr a Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. Praha: Oeconomica, 2005. ISBN 978-80-245-0974-7. 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
Výukové metody
Interaktivní přednášky
Cvičení
Metody hodnocení
Zápočet: povinná účast na cvičeních min. 75 %, písemný a online test.
Zkouška: písemná.
Předmět je zařazen také v obdobích zima 2020, zima 2022, zima 2023.