FI:U212 Návrh algoritmů pro VT IV - Informace o předmětu

U212 Návrh algoritmů pro VT IV

Fakulta informatiky
léto 1998

Rozsah

2/1. 0 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

RNDr. Libor Škarvada (přednášející)

Garance

Kontaktní osoba: RNDr. Libor Škarvada

Předpoklady

U210 Návrh algoritmů pro VT III
Předpokládá se absolvování kursu U210 Návrh algoritmů pro VT III.

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

Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
Učitelství výpočetní techniky pro střední školy (program FI, M-SS)

Osnova

Verifikace programů. Parciální korektnost. Verifikační metody.
Ukončení. Totální korektnost.
Úvod do základů složitosti. Klasifikace funkcí.
Třídění. Vnitřní a vnější třídicí metody. Heapsort, Quicksort, Mergesort, jejich složitost a použití.
Kombinatorické a grafové algoritmy. Nejkratší cesta, minimální kostra, toky v sítích, barvení.

Informace učitele

Doba

Kurs probíhá v letním semestru.
V letním semestru 1998 je přednáška každý čtvrtek od 17.00 do 18.50 v posluchárně I3 (A104). Cvičení je po přednášce, od 19.00.

Náplň

Kurs je určen studentům učitelství informatiky. Navazuje na U210.

Požadavky

Kromě úspěšného složení zkoušky bude k absolvování předmětu třeba vypracovat semestrální projekt. Jeho zadání si student může zvolit sám po konsultaci s učitelem. (Jsou též k disposici některé příklady zadání.)
Ukázky některých úloh z minulých zkoušek.

Konsultace

Konsultační hodiny jsou v úterý od 16.00 nebo, po dohodě, v jinou dobu. Kratší dotazy a jednodušší problémy lze řešit i ve cvičení.

Předmět je zařazen také v obdobích léto 1996, léto 1997.