Algorithms and Data Structures

CS 307 Algorithmen und Datenstrukturen

Fall Semester 2023 | 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.

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


Contact

  • Contact via email to linda.scheu-hachtelmail-uni-mannheim.de

Lecture

  • Lecture recordings are going to be available in the ILIAS course.
  • In 2023 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.
  • If it is necessary, there will be an exercise session on Thursday, 17.15hin room A5, B144 regarding basic concepts. These dates will be communicated via E-mail.

Lecture Slides

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


Tutorials

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.

Tuesday

  • 12:00 – 13:30, B6 26 – A 1.04

Wednesday

  • 08:30–10:15, B6 26 – A 3.01
  • 13:45 -15:15, B6 26 – A 3.01

Thursday

  • 13:45 – 15:15, B6 26 – A 3.02

Exercise Sheets

You can find the exercise sheets in the corresponding folder of the ILIAS course.


Literature

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