A Working Group on Computing Theory and Mathematics

The group's expertise, in both research and teaching, lies in the field of theoretical and mathematical foundations of computer science. Our research aims at pure and applied algorithmic methods for the analysis of complex systems and data. Our teaching adherently aims at the link between mathematical thinking and computing practice.

Current news

Tutor*innen für Diskrete Mathematik und Logik gesucht

Für die Lehrveranstaltung Diskrete Mathematik und Logik im Wintersemester 2024/25 werden noch mehrere studentische Tutorinnen und Tutoren gesucht. 

Wenn Sie Zeit und Lust haben und sich zutrauen, ein Semester lang wöchentlich eine Mathematik-Tutorübung zu halten sowie Übungsblätter und Klausuren zu korrigieren (Gesamtumfang der Anstellung: 160 Stunden), dann würden wir uns über Ihre Unterstützung sehr freuen. Einfach per Email bei Sven Kosub melden – auch wenn Sie nicht Informatik studieren,…

Read more

 

 

Studentisches für KW 30 / 2024

Studentisches für die Woche 22.07.-26.07.2024:

In dieser Woche findet am Mittwoch, 24.07.24, in der Zeit 11:15-13:00 Uhr im Hörsaal R 712 die Erstklausur Theoretische Grundlagen der Informatik statt. Treffzeitpunkt für die Klausur ist 11:00 Uhr. Seien Sie bitte pünktlich. Weitere Details zur Klausur finden Sie in ILIAS.

Damit sind die Lehrveranstaltungen im Sommersemester beendet.

Studentisches für KW 29 / 2024

Die letzte Vorlesung Theoretische Grundlagen der Informatik in diesem Semester findet am Dienstag, 16.07.24, um 15:15-16:45 Uhr als Fragestunde zur Klausurvorbereitung statt. Dabei werden auch Fragen zur Prüfungsrelevanz einzlner Themen geklärt werden. Wünsche hinsichtlich Themen zur Wiederholung können Sie in ILIAS stellen.

Am Donnerstag, 18.07.24, findet zur Vorlesungszeit 10:00-11:30 Uhr im L 601 die Erstklausur Quantenalgorithmik statt.

Die Tutorien und die Sprechstunde werden wie geplant…

Read more