|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KMI / PP4
:
Popis předmětu
Pracoviště / Zkratka
|
KMI
/
PP4
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Paradigmata programování 4
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Akreditováno / Kredity
|
Ano,
5
Kred.
|
Forma zakončení
|
Kombinovaná
|
Forma zakončení
|
Kombinovaná
|
Rozsah hodin
|
Přednáška
2
[HOD/TYD]
Cvičení
2
[HOD/TYD]
|
Zápočet před zkouškou
|
Ano
|
Zápočet před zkouškou
|
Ano
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Letní semestr
|
24 / -
|
6 / -
|
0 / 0
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
0 / -
|
0 / -
|
0 / -
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Letní semestr
|
Vyučovaný semestr
|
Letní semestr
|
Minimum (B + C) studentů
|
nestanoveno
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
Čeština
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
|
Hodnotící stupnice |
A|B|C|D|E|F |
Periodicita |
každý rok
|
Hodnotící stupnice pro zp. před zk. |
S|N |
Periodicita upřesnění |
|
Základní teoretický předmět |
Ne
|
Profilující předmět |
Ano
|
Základní teoretický předmět |
Ne
|
Hodnotící stupnice |
A|B|C|D|E|F |
Hodnotící stupnice pro zp. před zk. |
S|N |
Nahrazovaný předmět
|
Žádný
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
KMI/PP2
|
Splnit všechny podmiňující předměty před zápisem
|
NE
|
Předměty informativně doporučené
|
Nejsou definovány
|
Předměty,které předmět podmiňuje
|
Nejsou definovány
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
Studenti se seznámí se základními pojmy z paralelního programování a logického programování.
|
Požadavky na studenta
|
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
|
Obsah
|
Jedná se o závěrečnou část čtyřdílného kurzu věnovaného základním programovacím paradigmatům, stylům a technikám. Obecným cílem kurzu je seznámit studenty s principy programování bez úzké vazby na konkrétní programovací jazyk. Jako modelovací jazyk je většinu kurzu použit jazyk Common Lisp.
Závěrečná část kurzu se soustředí na základy paralelního a logického programování.
Paralelní programování
- Paralelní program: vlastnosti, výhody, problémy. Atomické akce a jejich podpora HW. Synchronizace, reentrantnost, aktivní a pasivní čekání.
- Demonstrace základních problémů, problém producent-konzument.
- Kritická sekce a její použití: Zámek (mutex), vzájemné vyloučení, podmíněné čekání.
- Bariéra a její použití v datově paralelních algoritmech.
- Semafor a jeho použití pro řešení synchronizačních úloh (producent-konzument, problém čtenářů a písařů, spící holič atd.)
- Monitor a podmíněné proměnná. Jejich použití pro řešení synchronizačních problémů.
Logické programování
- Úvod do PROLOGu. O logickém programování. Fakta, pravidla, dotazy. Jednoduché příklady.
- Rekurze. Seznamy. Vybrané operace na seznamech. Základy aritmetiky. Datové struktury. Složitější příklady.
- Základní fáze výpočtu PROLOGu. Řezy. O negaci.
- Vstup a výstup. Práce s databázemi. Expertní systémy.
|
Aktivity
|
|
Studijní opory
|
|
Garanti a vyučující
|
-
Garanti:
Mgr. Jan Laštovička, Ph.D. (100%),
-
Přednášející:
Mgr. Jan Laštovička, Ph.D. (100%),
Mgr. Petr Osička, Ph.D. (100%),
-
Cvičící:
Mgr. Jan Laštovička, Ph.D. (100%),
Mgr. Tomáš Mikula (100%),
Mgr. Petr Osička, Ph.D. (100%),
|
Literatura
|
-
Základní:
ANDREWS G. R. Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, 2000. ISBN 0201357526.
-
Základní:
Schmidt Ph.D., Gonzales-Domingues, J., Hundt, Cc., Schlarb, M. (2017). Parallel Programming: Concepts and Practice. Morgan Kaufman.
-
Základní:
Ben-Ari M. (2006). Principles of concurrent and distributed programming. Addison-Wesley.
-
Základní:
Jirků P. a kol. (1991). Programování v jazyku Prolog..
-
Základní:
McCool M., Reinders J., Robinson A. (2012). Structured parallel programming: patterns for efficient computation. Morgan Kaufman.
-
Doporučená:
M. Kifer, Y. A. Liu. (2018). Declarative Logic Programming: Theory, Systems, and Applications.
-
Doporučená:
Schneider F. B. On concurrent programming. Springer, 1997. ISBN 0387949429.
-
Doporučená:
Roosta, Seyed H. (2000). Parallel processing and parallel algorithms. Springer.
-
On-line katalogy knihoven
|
Předpoklady - další informace k podmíněnosti studia předmětu |
- |
Získané způsobilosti |
3. Aplikace: Rozpoznej a řeš překážky při vývoji paralelních programů. |
Vyučovací metody |
|
Hodnotící metody |
- Ústní zkouška
- Písemná zkouška
|
|
|
|