Algorithms and Data Structures

CS 307 Algorithmen und Datenstrukturen

Fall Semester 2021 | German

This course presents the basic techniques needed to develop algorithms and to show their correctness using formal proofs. Algorithms and data structures for sorting, hashing, searching and graphs will be explained and their correctness will be proved.



  • Lecture recordings available in the ILIAS course:
  • The first lecture takes place on Monday, 06 September 2021, 10:15 am via Zoom. You can find the login credentials in the Portal2.

Lecture Slides

Currently there are no files available.


Exercise sheets will be published weekly and discussed in the tutorials. The students are encouraged to participate in the tutorials to deepen their understanding in the lecture's topics.




Exercise Sheets

Currently there are no files available.


  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms – Third Edition, MIT Press, 2009.