UIINK51 Logika a logické programování

Filozoficko-přírodovědecká fakulta v Opavě
zima 2021
Rozsah
12/0/0. Přednáška 12 HOD/SEM. 6 kr. Ukončení: zk.
Vyučující
Mgr. Marek Menšík, Ph.D. (přednášející)
Garance
Mgr. Marek Menšík, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Kontaktní osoba: Mgr. Marek Menšík, Ph.D.
Předpoklady
Úvod do logiky
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
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á.
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 2019, zima 2020, zima 2022, zima 2023, zima 2024.