Algorithms and Data Structures

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.

In 2026 this course takes place as inverted lecture. The tutorials will take place in-person only.

• Contact via email to linda.scheu-hachteluni-mannheim.de

• Lecture recordings are going to be available in the ILIAS course.
• In 2026 this course takes place as inverted lecture.
• Each Monday, unless stated otherwise, there is going to be a discussion about the content of lectures at 10:15h in room B6, A001. If the time is not sufficient, there will also be a discussion on Wednesday, 10:15h in room A5, B144.
• The first lecture regarding the structure of the course will take plance on Monday, 07.09.26 at 10:15h in room B6, A001.

You can find the lecture slides in the corresponding folder of the ILIAS course.

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