FI:PA163 Omezující podmínky - Informace o předmětu
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2017
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 12:00–13:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: každé liché pondělí 10:00–11:50 B117, H. Rudová
PA163/03: každý sudý čtvrtek 10:00–11:50 B117, H. Rudová - 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 FI, N-AP)
- Bezpečnost informačních technologií (angl.) (program FI, N-IN)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika (angl.) (program FI, D-IN4)
- Informatika (program FI, D-IN4)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy a technologie (angl.) (program FI, D-IN4)
- Počítačové systémy a technologie (program FI, D-IN4)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Sociální informatika (program FI, B-AP)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o obecných propagačních algoritmech a o a základních prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami prostřednictvím jazyka OPL (Optimization Programming Language). - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v ILOG, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Celkový počet bodů za domácí úkoly a za závěrečnou písemku určuje hodnocení, které je předpokládáno následující: A 100 a více, B 90-99, C 80-89, D 70-79, E 60-69.
Za závěrečnou písemnou práci je možné získat až 100 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2017/PA163/index.qwarp
- Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2017, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2017/PA163