FI:IV075 Seminář o stochast. metodách - Informace o předmětu

IV075 Seminář o aplikaci stochastických metod v informatice

Rozsah

0/0/4. 2 kr. Ukončení: z.

Vyučující

prof. RNDr. Antonín Kučera, Ph.D. (přednášející)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.

Rozvrh

St 10:00–13:50 B403

Předpoklady

SOUHLAS

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Jiné omezení: Výlučně po dohodě s přednášejícím

Mateřské obory/plány

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, B-IN)
• Informatika (program FI, D-IN4)
• Informatika (program FI, N-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

Kurs je věnován vybraným tématům aplikované teorie pravděpodobnosti. Speciální pozornost je věnována aplikacím, které souvisejí s modelováním a verifikací stochastických systémů.
Na konci kurzu by měl být posluchač schopen zvládat a aktivně aplikovat základní poznatky z následujících oblastí:
Teorie stochastických procesů s diskrétním i spojitým časem.
Syntaxe a sémantika náhodnostních temporálních logik.
Teorie stochastických her.

Osnova

• Stochastické procesy s diskrétním a spojitým časem. Markovovy procesy. Invariantní a stacionární distribuce. Ergodická věta.
• Pravděpodobnostní temporální logiky lineárního a větvícího se času. Kvalitativní a kvantitativní formule. Pravděpodobnostní CTL a CTL*. Logiky pro popis vlastností stochastických her.
• Tahové stochastické hry. Existence hodnoty, determinovanost. Výherní kritéria. Výherní strategie. Pravděpodobnost a systémy reálného času

Literatura

• PUTERMAN, Martin L. Markov decision processes : discrete stochastic dynamic programming. Hoboken, N.J.: Wiley-Interscience, 2005, xvii, 649. ISBN 0471727822. info
• HERMANNS, Holger. Interactive markov chains : and the quest for quantified quality. Berlin: Springer, 2002, xii, 217. ISBN 3540442618. info
• FILAR, Jerzy A. a Koos VRIEZE. Competitive Markov decision processes : with 57 illustrations. New York: Springer, 1997, xii, 393. ISBN 0387948058. info
• CHUNG, Kai Lai. Markov chains : with stationary transition probabilities. Berlin: Springer-Verlag, 1967, x, 301. info

Výukové metody

Přednášky, samostatné studium, diskuse.

Metody hodnocení

Ústní zkouška.

Další komentáře

Poznámka k ukončení předmětu: Opakující se předmět, lze zapsat každý semestr
Předmět je vyučován každý semestr.

• Statistika zápisu (podzim 2009, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2009/IV075