U212 Design of Algorithms for CS IV

Faculty of Informatics
Spring 1998
Extent and Intensity
2/1. 0 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
RNDr. Libor Škarvada (lecturer)
Guaranteed by
Contact Person: RNDr. Libor Škarvada
Prerequisites
U210 Design of Algorithms for CS III
Before enrolling this course the students should go through U210 Design of Algorithms for CS III.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Key topics
  • Verification of programs. Partial correctness. Verification methods.
  • Termination. Total correctness.
  • Brief introduction to complexity. Ranks of functions.
  • Sorting. Inner and outer sorting algorithms. Heapsort, Quicksort, Mergesort.
  • Combinatoric and graph algorithms. Shortest path, minimal spanning tree, flows in networks, colouring.
Language of instruction
Czech
Teacher's information

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í.
The course is also listed under the following terms Spring 1996, Spring 1997.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/spring1998/U212