FPF: UIINK56 Praktikum z logického programování (léto 2024)
Cíle předmětu
Navazujeme na předmět Logika a logické programování a zaměřujeme se na programovací techniky v logickém programovacím jazyce Prolog.
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;
Výukové metody
Semináře v počítačové učebně
Metody hodnocení
Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků.
Sylabus předmětu
FPF: UIINP56 Praktikum z logického programování (léto 2024)
Cíle předmětu
Navazujeme na předmět Logika a logické programování a zaměřujeme se na programovací techniky v logickém programovacím jazyce Prolog.
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;
Výukové metody
Semináře v počítačové učebně
Metody hodnocení
Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků.
Sylabus předmětu
FPF: UIAI245 Praktikum z logického programování (léto 2024)
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í.
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Sylabus předmětu
FPF: UIN1057 Praktikum z logického programování (léto 2024)
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í.
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Sylabus předmětu
FPF: UIMOIBP057 Praktikum z logického programování (léto 2024)
Cíle předmětu
Navazujeme na předmět Logika a logické programování a zaměřujeme se na programovací techniky v logickém programovacím jazyce Prolog.
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;
Výukové metody
Semináře v počítačové učebně
Metody hodnocení
Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků.
Sylabus předmětu
FPF: UIMOIBK057 Praktikum z logického programování (léto 2024)
Cíle předmětu
Navazujeme na předmět Logika a logické programování a zaměřujeme se na programovací techniky v logickém programovacím jazyce Prolog.
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;
Výukové metody
Semináře v počítačové učebně
Metody hodnocení
Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků.
Sylabus předmětu
