1-UIN-230 Seminár z matematických štruktúr

Mgr. Juliana Šišková

Forma a rozsah výučby: Seminár - 2

Semester: 3.

Počet kreditov: 2

Priebežné hodnotenie: testy, experimenty, samostatná tvorivá práca

Cieľ predmetu: Skúmať so študentmi sériu konkrétnych počítačových prostredí, ktoré interaktívne sprostredkujú známe populárne námety z teoretickej informatiky a diskrétnej matematiky. Skúmaním týchto simulácií a vizualizácií má študent získať prvé konkrétne zážitky v niektorých témach teoretickej informatiky, ktoré bude neskôr študovať použitím formálnych metód.

Stručná osnova predmetu:

Na každom seminári študenti experimentujú s programom, ktorý vizualizuje, modeluje alebo interaktívne sprístupňuje niektorú atraktívnu tému z oblasti teoretickej informatiky a diskrétnej matematiky, ako napríklad skladanie logických obvodov, grafové algoritmy, formálne jazyky a automaty - hľadanie pravidiel, hľadanie jazyka, konštruovanie prekladača, L-systémy, fraktály a pod. Každý takýto program umožňuje experimentovanie so vstupmi, pravidlami, správaním a pod. Takouto experimentálnou činnosťou získajú študenti prvé konkrétne zážitky s témami, ktoré predstavujú kľúčové (vizuálne atraktívne) námety teoretickej informatiky.

Literatúra:

webová stránka vyučujúceho, knižnica programov

Juraj Hromkovič: Sieben Wunder der Informatik, Teubner 2006

Jazyk, v ktorom sa predmet vyučuje: slovenský