Termine:
Di 13.00 c.t. - 15.00, Hörsaal 1, Sand 6
Do 13.00 c.t. - 15.00, Hörsaal 1, Sand 6
Beginn:
Di 21.04.2009 13.00 c.t.
Gegenstand der Vorlesung sind
Theorie und Praxis von verteilten Systemen. Die Vorlesung soll dazu
befähigen, Software auf verteilten Rechnersystemen verstehen
und schreiben zu können, wie sie z.B. in Form von Client / Server
Informationssystemen oder beim Fernzugriff auf Geräte und Software
über das Internet häufig vorkommt. ...mehr
>>
Begleitend zur Vorlesung Verteilte
Systeme wird eine Kompaktübung angeboten. In der Kompaktübung
wird der in der Vorlesung präsentierte Stoff in Form von Programmieraufgaben
vertieft. ...mehr
>>
Termine: Vorlesung: Mi 10.00 c.t. - 12.00, Hörsaal 1, Sand 6
Übung: Mo 15.00 c.t. - 17.00, Raum C 109.
Beginn:
Mi 22.04.2009 10.00 c.t.
Das aussagenlogische Erfüllbarkeitsproblem
(SAT-Problem) spielt in Theorie (Komplexität, NP-Vollständigkeit)
und Praxis (Hard- und Software-Verifikation, Konfiguration) eine
herausragende Rolle.
Durch große Forschritte in den letzten Jahren lassen sich
heute eine Vielzahl praktischer kombinatorischer Probleme effizient
mit SAT-Solvern bearbeiten.
In der Vorlesung wollen wir Grundlagen und aktuelle Entwicklungen
im SAT-Solving beleuchten.
Begleitend zur Vorlesung SAT-Solving und Anwendungen wird eine Übung angeboten. In der Übung
wird der in der Vorlesung präsentierte Stoff auf zwei Arten vertieft: 1) Theoretische Aufgaben 2) Das Programmieren eines kleinen SAT-Solvers mit aktuellen Technologien in Java.
...mehr
>>
Modulinhalt: 10 Übungsaufgaben zur Bedienung und Anwendung existierender Beweiser, zur Implementierung von Beweisverfahren und zum Programmieren in Prolog. Praktische Anwendung auf exemplarische Beispiele.
Zu den Aufgaben
Modulinhalt: 10 Übungsaufgaben zur Bedienung und Anwendung existierender Beweiser, zur Implementierung von Beweisverfahren und zum Programmieren in Prolog. Praktische Anwendung automatischer Beweisverfahren auf größere anwendungsnahe Beispiele.
Zu den Aufgaben
Diplomanden und Mitarbeiter tragen ihre
aktuellen Forschungsresultate vor. Studenten können einen Seminarschein
erwerben, indem sie zu einem der Themengebiete unserer Forschung
einen Vortrag halten
...mehr >>
