Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Simulation und Statistisches Model Checking - Einzelansicht

Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 108092 Kurztext
Semester SoSe 2022 SWS 4
Erwartete Teilnehmer/-innen 40 Studienjahr
Max. Teilnehmer/-innen 40
Credits Belegung Belegpflicht
Hyperlink https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=59907
Sprache 1 deutsch 1 A
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine ausblenden
iCalendar Export für Outlook
Di. 16:00 bis 18:00 woch 05.04.2022 bis 05.07.2022  Einsteinstr. 64 - M B 6 (M 6)        
Einzeltermine:
  • 05.04.2022
  • 12.04.2022
  • 19.04.2022
  • 26.04.2022
  • 03.05.2022
  • 10.05.2022
  • 17.05.2022
  • 24.05.2022
  • 31.05.2022
  • 07.06.2022
  • 14.06.2022
  • 21.06.2022
  • 28.06.2022
  • 05.07.2022
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 14:00 bis 16:00 woch 07.04.2022 bis 07.07.2022  Einsteinstr. 64 - M B 5 (M 5)        
Gruppe [unbenannt]:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
da Silva, Carina, Dr. verantwort
Studiengänge
Abschluss - Studiengang Sem ECTS Bereich Teilgebiet
Master - Informatik (88 079 14) -
Master - Informatik (88 079 8) - 6
Master - Mathematik (88 105 13) -
Bachelor - Informatik (82 079 11) - 6
Master - Mathematik (88 105 10) - 6
Bachelor - Informatik (82 079 7) - 6
Master - Informatik (88 079 20) -
Master - Mathematics (88 F23 20) -
MEd Gymnasien u Gesamt - Informatik (E3 079 19) -
Prüfungen / Module
Prüfungsnummer Modul
438001 Ergänzungsvorlesung Formale Methoden - Master Mathematics Version 2020
438002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Mathematics Version 2020
436001 Ergänzungsvorlesung Formale Methoden - Master Mathematics Version 2020
436002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Mathematics Version 2020
437001 Ergänzungsvorlesung Formale Methoden - Master Mathematics Version 2020
437002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Mathematics Version 2020
30002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Informatik Version 2020
31001 Ergänzungsvorlesung Formale Methoden - Master Informatik Version 2020
31002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Informatik Version 2020
29001 Ergänzungsvorlesung Formale Methoden - Master Informatik Version 2020
29002 Übungen zu "Ergänzungsvorlesung Formale Methoden" - Master Informatik Version 2020
30001 Ergänzungsvorlesung Formale Methoden - Master Informatik Version 2020
2015001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
2014001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
2013001 Vorlesung (mit integrierter oder separater Übung) - Master Mathematik Version 2013
29001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
28001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
18001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
27001 Vorlesung (mit integrierter oder separater Übung) - Master Informatik Version 2014
17001 Vorlesungen aus dem Vorlesungsangebot der Informatik 1 - Bachelor Informatik Version 2011
Zuordnung zu Einrichtungen
Fachbereich 10 Mathematik und Informatik
Inhalt
Kommentar

Die Veranstaltung wird planmäßig hybrid stattfinden, indem die in der Regel in Präsenz stattfindenden Vorlesungen und Übungen live via Zoom übertragen werden (sofern die technischen Voraussetzungen gegeben sind). Die Zugangsdaten werden über den Learnweb-Kurs bekannt gegeben.

Literatur

Literaturhinweise werden in der Vorlesung bekannt gegeben.

Voraussetzungen

Die notwendigen mathematischen Grundlagen zu den entsprechenden Bereichen der Stochastik werden in der Vorlesung erarbeitet.

Leistungsnachweis

Die Prüfung wird mündlich stattfinden. Bei unerwartet großer Teilnehmendenzahl kann die Prüferin anstelle einer mündlichen Prüfung eine Klausur stellen; diese Änderung der Prüfungsart wird rechtzeitig zu Beginn des Moduls in geeigneter Weise bekannt gegeben.

Lerninhalte

Diese Vorlesung führt in das Themengebiet der statistischen Simulation ein. Wir betrachten Simulationsverfahren für Systeme, in denen zufällige Ereignisse den Verlauf des Systemzustands beeinflussen. Dabei lernen wir verschiedene Ansätze diskreter Ereignissimulation (engl. discrete-event simulation) sowie Methoden zur Erzeugung von Zufallszahlen kennen. Zur Statistischen Auswertung von Simulationsergebnissen befassen wir uns mit Methoden des Statistischen Model Checkings wie der Berechnung von Konfidenzintervallen und Hypothesentests. Außerdem sehen wir uns Verfahren für Rare-event Simulation an.
Die Vorlesung wird durch Übungen begleitet. Details werden zu Beginn der Vorlesung bekannt gegeben. Zusätzlich erhält jede teilnehmende Person (oder jedes Team, sollten die Teilnehmendenzahlen zu groß werden) ein Thema, welches im Selbststudium erarbeitet und dann den anderen Teilnehmenden präsentiert werden soll. Ein gehaltener Vortrag fungiert dabei als Prüfungszulassung.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2022 , Aktuelles Semester: WiSe 2022/23