Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Self-Organizing Middleware (32 209)

The Systems Architecture Group is engaged in numerous projects: Berlin Roof Net, Anonymous Reputation Management for Social Network Services, and Early Warning Systems for Seismic Activities. Each of these projects requires intensive research to make progress. In this project seminar, we will identify specific problems for each project, review prior art literature, discuss our findings, and regularly report about progress made on each issue. In addition to acquiring knowledge about the technologies that are relevant for each project, seminar participants will get hands-on experience with research techniques, including literature study, project planning, and result presentation / publication.

Beauty is our Business (32 211)

"Beauty is our Business" heißt ein bekannter "Klassiker" des Informatiker Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Die Grenzen der Berechenbarkeit (32 212)

Zentrale Ergebnisse der Logik sind Vollständigkeitssätze, die im Prinzip besagen, dass sich das logische Folgern "mechanisch" in gewissen Beweiskalkülen nachvollziehen läßt. Allerdings stößt man mit solchen mechanischen Verfahren zum logischen Schließen schnell an prinzipielle Grenzen. Das wird etwa deutlich in der "Unentscheidbarkeit der Logik der ersten Stufe", welche besagt, dass es keinen Algorithmus gibt, der entscheidet, ob ein gegebener Satz der Logik der ersten Stufe erfüllbar ist. Diese Grenzen der formalen Methode werden wir in diesem Proseminar genauer untersuchen, von grundlegenden Fragen der Berechenbarkeitstheorie wollen wir uns dabei bis zu den Gödelschen Unvollständigkeitssätzen vorarbeiten. Das Proseminar schließt sich in an die Vorlesung "Theoretische Informatik I" an, vorausgesetzt werden deshalb gute Kenntnisse des in dieser Vorlesung behandelten Stoffes.