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

Proseminare

Proseminare und Spezialvorlesungen
 

-> Softwarespezifikation mit UML
PS Do 09-11 wöch. RUD 25, 4.113 J. Fischer
-> Wissenschaftliches Publizieren mit LaTeX [Homepage]

Im wissenschaftlichen Bereich ist LaTeX das Mittel der Wahl zum Publizieren von Texten. Es ist ein mächtiges Werkzeug mit einer hohen typographischen Ausgabequalität, das auf allen Plattformen verfügbar ist. Das Seminar soll in die Grundlagen einführen und einzelne Bereiche näher beleuchten.

PS Mo 11-13 wöch. RUD 25, 4.113 M. Piefel
-> Informationelle Selbstbestimmung [Homepage]

In diesem Proseminar geht es um Privatheit und Autonomie als wichtigen Grundbedingungen des gesellschaftlichen Zusammenlebens. Der erreichte Stand "informationeller Selbstbestimmung" ist aber vielfachen Angriffen ausgesetzt, nicht nur durch die öffentlichen bzw. privaten Datensammler und innenpolitische Reaktionen auf Terrorangriffe, sondern auch durch die "Unkenntnis" um die Gefährdungen aus diesen Angriffen. Zudem ist das existierende Datenschutzrecht sehr komplex und bedarf einer grundlegenden Modernisierung und Vereinfachung.
Die Lehrveranstaltung richtet sich an Studierende der Informatik im Grundstudium.

PS Mi 11-13 wöch. RUD 25, 4.112 P. Bittner
-> Beauty is our Business [Homepage]

"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.
http://www.informatik.hu-berlin.de/top/lehre/SS06/ps_beauty

PS Mi 13-15 wöch. RUD 25, 4.112 W. Reisig
-> Die Grenzen der Berechenbarkeit [Homepage]

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.

PS Fr 09-11 wöch. RUD 26, 1´307 M. Grüber
-> Online Lehre Lernen [Homepage]

Im Mittelpunkt des Proseminars "Online Lehren & Lernen" steht die Planung und Realisierung einer Lehr-/Lerneinheit im Lernmanagementsystem Moodle. Dazu beschäftigen wir uns mit medientechnischen Grundlagen, Formaten, Standards, Webprogrammierung, Mediendidaktik und Formen des Dynamischen Online Lernens. Ein Schlüssel zur Motivation ist Game basiertes Lernen, welches eine zentrale Rolle im Seminar spielen wird. Weitere Informationen unter http://www.informatik.hu-berlin.de/~neuendor/PS-eLearning2006

PS Mo 09-11 wöch. RUD 25, 4.113 K.-P. Neuendorf