Lehrinhalte
Probability spaces and random variables, distribution functions, expectation and variance, independence and elementary conditional expectations, discrete and absolutely continuous distributions, Law of Large Numbers, Central Limit Theorem, estimation and confidence intervals, testing under the hypothesis of normality. Application and analysis of selected basic models of probability theory.
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 and Linear Algebra
(participation without certification of prerequisites is possible)
Probability spaces and random variables, distribution functions, expectation and variance, independence and elementary conditional expectations, discrete and absolutely continuous distributions, Law of Large Numbers, Central Limit Theorem, estimation and confidence intervals, testing under the hypothesis of normality. Application and analysis of selected basic models of probability theory.
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 and Linear Algebra
(participation without certification of prerequisites is possible)
- Lehrende: Frank Aurzada
Semester: Verão 2018
Lehrinhalte
Kripke semantics for modal logics; bisimulation techniques: games and expressive
power; modal logic as a fragment of first-order logic; classical correspondence
theory; finite model theory of modal logics; relevant extensions of
basic modal logic (e.g., temporal logics, program logics, modal µ-calculus,
guarded logics)
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
Kripke semantics for modal logics; bisimulation techniques: games and expressive
power; modal logic as a fragment of first-order logic; classical correspondence
theory; finite model theory of modal logics; relevant extensions of
basic modal logic (e.g., temporal logics, program logics, modal µ-calculus,
guarded logics)
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: Verão 2018