PředmětyPředměty(verze: 845)
Předmět, akademický rok 2018/2019
   Přihlásit přes CAS
Numerické výpočty s verifikací - NMNV569
Anglický název: Numerical Computations with Verification
Zajišťuje: Katedra numerické matematiky (32-KNM)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2014
Semestr: letní
E-Kredity: 5
Rozsah, examinace: letní s.:2/2 Z+Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: nevyučován
Jazyk výuky: čeština, angličtina
Způsob výuky: prezenční
Garant: doc. Ing. Stefan Ratschan, Ph.D.
Třída: M Mgr. NVM
M Mgr. NVM > Volitelné
Kategorizace předmětu: Matematika > Numerická analýza
Anotace -
Poslední úprava: doc. RNDr. Václav Kučera, Ph.D. (15.01.2019)
Předmět je věnován aplikacím, metodám a mezím verifikačních metod v numerických výpočtech. 1. Úvod, výhody a meze ruční analýzy chyb 2. Aproximativní a přesná aritmetika, bodové a množinové výpočty, symbolické výpočty 3. Základy intervalové aritmetiky 4. Intervalové lineární problémy 5. Verifikační metody pro nelineární soustavy rovnic 6. Deterministická globální optimalizace 7. Verifikační metody pro dynamické systémy 8. Meze verifikace: Rozhodnutelnost, teorie vyčíslitelnosti
Literatura
Poslední úprava: doc. RNDr. Václav Kučera, Ph.D. (15.01.2019)

Arnold Neumaier: Interval Methods for Systems of Equations, Cambridge Univ. Press, 1990

Ramon E. Moore and R. Baker Kearfott and Michael J. Cloud: Introduction to Interval Analysis, SIAM, 2009

Siegfried M. Rump, Verification Methods: Rigorous Results using Floating-point Arithmetic, Acta Numerica, 2010, 287-449

Sylabus
Poslední úprava: T_KNM (15.09.2013)

1. Úvod, výhody a meze ruční analýzy chyb

2. Aproximativní a přesná aritmetika, bodové a množinové výpočty, symbolické výpočty

3. Základy intervalové aritmetiky

4. Intervalové lineární problémy

5. Verifikační metody pro nelineární soustavy rovnic

6. Deterministická globální optimalizace

7. Verifikační metody pro dynamické systémy

8. Meze verifikace: Rozhodnutelnost, teorie vyčíslitelnosti

 
Univerzita Karlova | Informační systém UK