FPF:UIN1057 Praktikum z log. programování - Informace o předmětu

UIN1057 Praktikum z logického programování

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

• Aplikovaná informatika (program FPF, B1802 AplI)
• Aplikovaná matematika (program MU, B1101)
• Aplikovaná matematika pro řešení krizových situací (program MU, B1101)
• Informační studia se zaměřením na knihovnictví (program FPF, B7201 InSK)
• Informatika a výpočetní technika (program FPF, B1801 Inf)
• Informatika (dvouoborové) (program FPF, B1803 InDO)
• Matematické metody v ekonomice (program MU, B1101)
• Obecná matematika (program MU, B1101)

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

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (léto 2018, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/leto2018/UIN1057