UIAI245 Praktikum z logického programování

Filozoficko-přírodovědecká fakulta v Opavě
léto 2017
Rozsah
Cvičení 2 HOD/SEM. 3 kr. Ukončení: z.
Vyučují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ě
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 jazyka PROLOG. Základní datové typy, fakta a pravidla. Rekurzivní funkce na seznamech, aritmetické a další zabudované funkce. Předpokladem pro zapsání tohoto předmětu je úspěšné absolvování předmětu Logika a logické programování.
Osnova
  • Obecná rezoluční metoda
    Základy programování v Prologu
    Fakta, pravidla.
    Pattern Matching
Literatura
    doporučená literatura
  • Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
  • Ivan Bratko. Prolog Programming for Artificial Intelligence. 2011. ISBN 978-0321417466. info
  • BIELIKOVÁ, M. - NÁVRTAT, P. Funkcionálne a logické programovanie. Bratislava: STU, 1997. info
  • Gahér, F. Logické hádanky a paradoxy. Bratislava, IRIS, 1997. info
  • Jirků, P. a kol. Programování v jazyku Prolog. SNTL Praha, 1991. info
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Metody hodnocení
Zápočet
Informace učitele
Teoretické a praktické zvládnutí témat předmětu, podmínky budou upřesněny na začátku výuky.
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 léto 2013, léto 2014, léto 2015, léto 2016, léto 2018, léto 2019, léto 2020, léto 2021, léto 2022, léto 2023.