UIN1057 Praktikum z logického programování

Filozoficko-přírodovědecká fakulta v Opavě
léto 2020
Rozsah
0/2/0. 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ě
Rozvrh seminárních/paralelních skupin
UIN1057/A: Čt 9:45–11:20 LEI, M. Menšík
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
Test/projekt: min. 51 bodů ze 100
Další komentáře
Studijní materiály
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích léto 1994, léto 1995, léto 1996, léto 1997, léto 1998, léto 1999, léto 2000, léto 2001, léto 2002, léto 2003, léto 2004, léto 2005, léto 2006, léto 2007, léto 2008, léto 2009, léto 2010, léto 2011, léto 2012, léto 2013, léto 2014, léto 2015, léto 2016, léto 2017, léto 2018, léto 2019, léto 2021, léto 2022, léto 2023.