svazek III.
Autor: Michal Černý
Vydavateľstvo: Professional Publishing 2012
EAN: 9788074310850
Závěrečný svazek trilogie Výpočty se zabývá některými aplikacemi teorie, vyvinuté ve svazcích I a II. Hlavním tématem je algoritmický pohled na otázku řešitelnosti různých typů rovnic.
čítať viacA. Mašlejová, A. Kotočová, I. Ondrejkovačová, B. Papánková, D. Valigura
STU 2012 6,77 €Závěrečný svazek trilogie Výpočty se zabývá některými aplikacemi teorie, vyvinuté ve svazcích I a II. Hlavním tématem je algoritmický pohled na otázku řešitelnosti různých typů rovnic. Svazek se zabývá diofantickými rovnicemi, Matijasevičovou větou a některými speciálními typy diofantických rovnic, dále pak teorií reálně uzavřených těles, Tarského větou a teorií unimodulárních a hermitovských matic. Speciální část je věnována složitostnímu pohledu na lineární a celočíselné programování. S pomocí Chačijanova algoritmu je podán důkaz polynomiální řešitelnosti lineárního programování. Kniha se rovněž zabývá celočíselným programováním v pevné dimenzi.
Michal Černý
11,55 €Michal Černý
12,71 €