UIBUC25 Praktikum z logického programování

Filozoficko-přírodovědecká fakulta v Opavě
léto 2012
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ě
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í.
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 2011, léto 2013, léto 2014.