The table below organizes our teaching material (see copyright), which covers relevant elements from our research areas. The cells are hyperlinked: clicking a cell will take you to the course slides. The drop-down box "Filter..." highlights courses with respect to the selected criterion.
Maintainers of the Lecturenotes repository and main persons in charge are Benno Stein and Theo Lettmann, who also authored a large portion of the scripts. Our mission is to create first-class teaching resources for selected basic and advanced computer science topics, while putting high emphasis on both semantical and syntactical coherence. In this regard, the mathematical language is unified across all units, as is the ''formalization dialectics'', but also the use of fonts, colors, and style, to mention only a few aspects.
Meanwhile, other computer scientists have joined the team: Michael Granitzer (Universität Passau) as of 2012, Matthias Hagen (Halle University) as of 2015, Martin Potthast (Leipzig University) as of 2017. The Lecturenotes scripts are continuously improved and extended; the scripts are freely available and their use is encouraged—as long as they are not modified and a copyright note pointing to the authors is provided. Hints regarding the improvement or the use of the scripts are appreciated.
Benno Stein and Theo Lettmann