Termine:
Mi 08:00 - 10:00, Raum A301, Sand 13
Do 08:00 - 10:00, Raum A301, Sand
13
Beginn:
Mi, 16. April 2007
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:
09:00 bis 17:00, von 21.07.2008 bis 01.08.2008, CIP-Pool, Sand 6
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
>>
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 >>
Dozent:
Küchlin und Mitarbeiter Umfang:
2 SWS, Praktische Informatik
Termin:
Do 13:00-15:00 Uhr, Sand 14, Raum
C109 Beginn: Do,
17. April 2008
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 >>
