Termine:
Mi 10:15 -12:00 (Sand 6/7, GH)
Do 15:15 -17:15 (Sand 6/7, GH)
Beginn:
Mi, 30.April 2003
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
>>
Termin:wird bekannt gegeben Beginn:
nach Vereinbarung
Diese Vorlesung gibt eine Einführung in das Gebiet des parallelen
Rechnens (Parallel Computing). Im Vordergrund steht dabei die Fragestellung,
wie ausgehend von sequentiellen Verfahren auf Parallelrechnern ablauffähige
Programme erstellt werden können.
...mehr >>
Beginn:
Mo, 05. Mai 2003 Vorbesprechung:
Mo, 28. April 2003
Gegenstand der Vorlesung sind
Theorie und Praxis des automatischen Beweisens. In der Vorlesung sollen
Aussagenlogik, Prädikatenlogik und Modallogiken hauptsächlich
hinsichtlich Algorithmik und Formalisierung praktischer Probleme (z.B.
aus der Konfiguration, Verifikation von Expertensystemen) untersucht
werden. ...mehr
>>
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 >>
