U212 Návrh algoritmů pro VT IV

Fakulta informatiky
léto 1996
Rozsah
0/0. 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
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
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 1997, léto 1998.