Algorithms and Data Structures
CS 307 Algorithmen und Datenstrukturen
Fall Semester 2020 | 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.
Contact
- Contact via email to algodat(at)uni.ma.
Lecture
- Lecture recordings available in the ILIAS course: http://ilias.algodat.uni.ma/
- The first lecture takes place on Monday, 28 September 2020, 10:15 am via Zoom. You can find the login credentials in the Portal2.
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, Maximilian Schneider
Wednesday
- 08:30 - 10:00, Jan Bentz
- 13:45 - 15:15, Jan Bentz
- 13:45 - 15:15, Paul Masberg
Thursday
- 13:45 - 15:15, Paul Masberg
- 13:45 - 15:15, Maximilian Schneider
Exercise Sheets
- Blatt01.pdf ( PDF , 130 KB )
- Blatt01 Lsg.pdf ( PDF , 149 KB )
- Blatt02.pdf ( PDF , 118 KB )
- Blatt02 Lsg.pdf ( PDF , 162 KB )
- Blatt03.pdf ( PDF , 43 KB )
- Blatt03 Lsg.pdf ( PDF , 90 KB )
- Blatt04.pdf ( PDF , 41 KB )
- Blatt04 Lsg.pdf ( PDF , 54 KB )
- Blatt05.pdf ( PDF , 40 KB )
- Blatt05 Lsg.pdf ( PDF , 77 KB )
- Blatt06.pdf ( PDF , 41 KB )
- Blatt06 Lsg.pdf ( PDF , 97 KB )
- Blatt07.pdf ( PDF , 35 KB )
- Blatt07-lsg.pdf ( PDF , 47 KB )
- Blatt08.pdf ( PDF , 61 KB )
- Blatt08-lsg.pdf ( PDF , 95 KB )
- Blatt09.pdf ( PDF , 45 KB )
- Blatt09-lsg.pdf ( PDF , 87 KB )
- Blatt10.pdf ( PDF , 35 KB )
- Blatt10-lsg.pdf ( PDF , 49 KB )
- Blatt11.pdf ( PDF , 33 KB )
- Blatt11-lsg.pdf ( PDF , 158 KB )
Literature
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms - Third Edition, MIT Press, 2009.