FPF:UIMOIBP057 Praktikum z log. programování - Informace o předmětu
UIMOIBP057 Praktikum z logického programování
Filozoficko-přírodovědecká fakulta v Opavěléto 2024
- Rozsah
- 0/2/0. 2 kr. Ukončení: z.
- Vyučující
- RNDr. Šárka Vavrečková, Ph.D. (cvičící)
Ing. Tomáš Vícha (cvičící) - Garance
- RNDr. Šárka Vavrečková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Rozvrh seminárních/paralelních skupin
- UIMOIBP057/A: St 10:35–12:10 B3b, T. Vícha
- Předpoklady
- Logika a logické programováni
- 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
- Informační a komunikační technologie (program FPF, MOI)
- Cíle předmětu
- Kurz jazyka PROLOG. Základní datové typy, fakta a pravidla. Rekurzivní funkce na seznamech, aritmetické a další zabudované funkce.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
- určit základní datové typy jazyka PROLOG;
- definovat fakta a pravidla konkrétního jednoduchého příklady;
- použít rekurzivní funkce na seznamech, aritmetické a jiné zabudované funkce PROLOGu; - Osnova
- 1. Obecná rezoluční metoda
- 2. Základy programování v Prologu
- 3. Fakta, pravidla
- 4. Pattern Matching
- Literatura
- povinná literatura
- VAVREČKOVÁ, Šárka. Logika a logické programování, Praktikum z logického programování. Skripta do předmětů. Skripta jsou průběžně aktualizována. Dostupné na: https://vavreckova.zam.slu.cz/obsahy/log2/skripta/logika_komplet.pd
- doporučená literatura
- SWI-Prolog Reference Manual [online]. SWI-Prolog.org. Průběžně aktualizováno, platné pro aktuální verzi Prologu. Dostupné na: https://www.swi-prolog.org/pldoc/doc_for?object=manual
- GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-048-6780-825.
- NIEVERGELT, Yves. Logic, mathematics, and computer science: modern foundationswith practical applications. Second edition. New York: Springer. ISBN 978-1-4939-3222-1. 2015. info
- BRATKO, Ivan. Prolog programming for artificial intelligence. 4th ed. New York: Addison-Wesley. ISBN 978-0-321-41746-6. 2012. info
- Výukové metody
- Semináře v počítačové učebně
Interakticvní přednášky - Metody hodnocení
- Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků. - Další komentáře
- Studijní materiály
- Statistika zápisu (nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2024/UIMOIBP057