Lehrinhalte
Wahrscheinlichkeitsräume und Zufallsvariablen, Verteilungsfunktionen, Erwartungswert und Varianz, Unabhängigkeit und elementare bedingte Erwartungen, diskrete und absolutstetige Verteilungen, Gesetz der großen Zahlen, Zentraler Grenzwertsatz, Schätz-und Testtheorie, Schätzen und Konfidenzintervalle und Tests unter Normalverteilungsannahmen. Anwendung und Analyse ausgewählter einfacher Modelle der Wahrscheinlichkeitstheorie.
Literatur
Eckle-Kohler, Kohler: Eine Einführung in die Statistik und ihre Anwendungen;
Irle: Wahrscheinlichkeitstheorie und Statistik;
Krengel: Einführung in dieWahrscheinlichkeitstheorie und Statistik;
Georgii: Stochastik: Einführung in die Wahrscheinlichkeitstheorie und Statistik;
Voraussetzungen
Analysis und Lineare
Algebra
(Teilnahme ohne Nachweis möglich)
Online-Angebote
moodle
Wahrscheinlichkeitsräume und Zufallsvariablen, Verteilungsfunktionen, Erwartungswert und Varianz, Unabhängigkeit und elementare bedingte Erwartungen, diskrete und absolutstetige Verteilungen, Gesetz der großen Zahlen, Zentraler Grenzwertsatz, Schätz-und Testtheorie, Schätzen und Konfidenzintervalle und Tests unter Normalverteilungsannahmen. Anwendung und Analyse ausgewählter einfacher Modelle der Wahrscheinlichkeitstheorie.
Literatur
Eckle-Kohler, Kohler: Eine Einführung in die Statistik und ihre Anwendungen;
Irle: Wahrscheinlichkeitstheorie und Statistik;
Krengel: Einführung in dieWahrscheinlichkeitstheorie und Statistik;
Georgii: Stochastik: Einführung in die Wahrscheinlichkeitstheorie und Statistik;
Voraussetzungen
Analysis und Lineare
Algebra
(Teilnahme ohne Nachweis möglich)
Online-Angebote
moodle
- Lehrende: Frank Aurzada
Semester: SoSe 2018
Lehrinhalte
Kripke Semantik für Modallogiken; Bisimulation: Spiele und Ausdruckstärke;
Modallogik als Fragment der Logik erster Stufe; klassische Korrespondenztheorie;
Endliche Modelltheorie der Modallogik; relevante Erweiterungen der
Modallogik (z.B. temporale Logiken, Programm-Logiken, µ-Kalkül, guarded
logics)
Literatur
Blackburn, de Rijke, Venema: Modal Logic
Goranko, Otto: Model Theory of Modal Logics, in: Handbook of Modal
Logic, Blackburn, van Benthem, Wolter (eds)
Voraussetzungen
Introduction to Mathematical Logic; für Studierende der Informatik: Formale
Grundlagen der Informatik II
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
Kripke Semantik für Modallogiken; Bisimulation: Spiele und Ausdruckstärke;
Modallogik als Fragment der Logik erster Stufe; klassische Korrespondenztheorie;
Endliche Modelltheorie der Modallogik; relevante Erweiterungen der
Modallogik (z.B. temporale Logiken, Programm-Logiken, µ-Kalkül, guarded
logics)
Literatur
Blackburn, de Rijke, Venema: Modal Logic
Goranko, Otto: Model Theory of Modal Logics, in: Handbook of Modal
Logic, Blackburn, van Benthem, Wolter (eds)
Voraussetzungen
Introduction to Mathematical Logic; für Studierende der Informatik: Formale
Grundlagen der Informatik II
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: SoSe 2018