14.10.2013 Views

Studijní katalog - Fakulta informatiky - Masarykova univerzita

Studijní katalog - Fakulta informatiky - Masarykova univerzita

Studijní katalog - Fakulta informatiky - Masarykova univerzita

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

hierarchie. T-redukce, aritmetická hierarchie, tt-redukovatelnost. Postu˚v problém. Analytická hierarchie.<br />

Vyčíslitelnost nespočetny´ch mnozˇin. Úplné částečně usporˇádané mnozˇiny, domény.<br />

IA052 – Topics in Language Theory 2/0, k, 2+1 kr., jaro, jednou za dva roky<br />

prof. RNDr. Branislav Rovan, Ph.D.<br />

Doporučení: Prˇedpokládají se znalosti odpovídající rozsahu a náplni kursu˚ IB005 Formální jazyky a<br />

automaty a IB107 Vyčíslitelnost a slozˇitost.<br />

Abstraktne triedy jazykov a automatov: definícia tried jazykov pomocou ich uzáverovy´ch vlastností,<br />

vzájomne vzt’ahy medzi operáciami nad jazykmi, vlastnosti triedy jazykov plynúce z vlastností<br />

triedy automatov, operácie nad automatmi a ich dôsledok na popisované jazyky, triedy jazykov generovat’elné<br />

z jednoho prvku. Zovsˇeobecnenia gramatík: gramatiky s riadeny´m odvodením, biologicky<br />

motivované triedy gramatík, generatívne systémy, paralelne generovanie jazykov, zlozˇitost’ gramatík a<br />

jazykov.<br />

IA058 – Paralelní algoritmy a modely<br />

vy´počtu˚<br />

prof. RNDr. Jozef Gruska, DrSc.<br />

2/0, zk, 3+2 kr., jaro, jednou za dva roky<br />

Doporučení: Basic courses on automata and complexity<br />

Komunikační a vy´počtové sítě prˇedstavují jeden z vy´znamny´ch modelu˚ moderních paralelních<br />

a distribuovany´ch systému˚. Základní problémy vy´počtovy´ch a komunikačních sítí lze formulovat<br />

a rˇesˇit v podstatné mírˇe na grafově-teoretické úrovni, a hlavně tomuto prˇístupu je prˇednásˇka věnována.<br />

Kromě toho, problémy vy´počtovy´ch a komunikačních sítí budou uvedeny do kontextu hlavních<br />

modelu˚ paralelních počítaču˚. PRAM model a algoritmy pro PRAM. Modely paralelních počítaču˚.<br />

Základní sítě (arrays, toroids, hypercube, cube-connected cycles, shuffle exchange, de Bruijn<br />

graphs, trees). Sítě na Cayleyho grafech. Broadcasting a gossiping. Embeddings. Routing.<br />

Vzájemné simulace sítí. Simulace PRAM na sítích. Layouts. Fyzikální ohraničení<br />

sítí. Systolické systémy. Celulární automaty.<br />

Titulní strana<br />

Obsah<br />

◭◭ ◮◮<br />

◭ ◮<br />

Strana 346 z 509<br />

Zpět<br />

Vprˇed<br />

Zavrˇít<br />

Konec

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!