Organisator: Prof. Dr. Heiko Mantel
Form: Blockseminar, Di., 5.2.2008, Raum E302
Anmeldung: Anmeldungen nimmt Elisabeth Kraft entgegen. Falls Sie sie nicht antreffen sollten, wenden Sie sich bitte an Henning Sudbrock im Büro nebenan (S2-02-E317).
Literatur: Wird in der Vorbesprechung bekanntgegeben
Vorbesprechung: Mittwoch, 17.10., 14:30-15:15, in S2-02-E302
Kontakt: Bei Fragen bitte an Henning Sudbrock wenden.
Thema:
In der Informatik untersuchte Systeme verhalten sich nicht immer deterministisch. In vielen Fällen ist das Systemverhalten probabilistisch. Gründe für probabilistisches Systemverhalten können sein:
Probabilistische Modelle werden benutzt, um Aussagen über das Verhalten von probabilistischen Systemen zu machen. Nutzt man darüber hinaus formale Methoden, so kann man diese Aussagen mit mathematischer Strenge beweisen.
Einige Beispiele für Eigenschaften in probabilistischen Modellen:
Im Seminar werden probabilistische Modelle anhand von aktuellen Forschungsartikeln behandelt.