Praktikum z logického programování
Mgr. Anna Krajčírová
Praktikum z logického programování
Mgr. Anna Krajčírová
Praktikum z logického programování

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

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

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

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

Cílem předmětu je proniknout do problematiky logického programování v Prologu.

Zápočet

Během semestru si společně připravíme program pro hru Piškvorky. Samostatným úkolem studentů bude naprogramovat pravidla tak, aby byl jejich program schopen porazit programy ostatních.

Na konci výukového období semestru uspořádáme turnaj v piškvorkách. Každý jehož program bude mít alespoň 25% úspešnost získá zápočet.

Cv. 1: Úvod do Prologu

Anotace

Základní práce v Prologu.
Kapitola obsahuje:
1
PDF
2
Studijní materiály
2
Studijní text
1
Web
Cv. 2: Jednoduché grafové úlohy a rekurze
Kapitola obsahuje:
1
PDF
3
Studijní materiály
2
Studijní text
Cv. 3: Seznamy

Anotace

Základní operace se seznamy.
Kapitola obsahuje:
1
PDF
1
Studijní materiály
2
Studijní text
Cv. 4: Praktické využití seznamů

Anotace

Praktická aplikace seznamů - tah koňe v šachách a tetris.
Kapitola obsahuje:
1
PDF
2
Studijní materiály
2
Studijní text
Cv. 5: Pokročilejší práce se seznamy

Anotace

Pokročilejší manipulace se seznamy: zahození N-tého prvku, duplikace prvku seznamu, vyjmutí podseznamu,...
Kapitola obsahuje:
1
PDF
1
Studijní materiály
2
Studijní text
Cv. 6: Piškvorky - fáze 1

Anotace

Příprava hracího pole a základní logiky pro hru.
Kapitola obsahuje:
1
Obrázek
1
Studijní materiály
2
Studijní text
Cv. 7: Piškvorky - fáze 2

Anotace

Příprava pokročilejších funkcí (uložení a simulace hry, reset,...), doladění pravidla pro "tah počítače". Od tohot cvičení mohou studenti pracovat na pravidlech a připravovat svůj program na turnaj.
Cv. 8: Piškvorky - fáze 3
Kapitola obsahuje:
1
Studijní materiály
Cv. 9: Piškvorky - fáze 4

Anotace

Přidání mechanismu učení se z minulých her.
Kapitola obsahuje:
1
Studijní materiály


Piškvorky - dálkaři

Anotace

Šablona program pro hru piškvorky pro studenty kombinovaného studia.

Výstupy z učení

Funkční program schopný odehrát celou hru a zvítězit.
Kapitola obsahuje:
1
Studijní materiály
1
Studijní text
Předchozí
Následující