Kde jsem:  Katalog  >  Vyhledávání

Vypocty svazek i

Nalezeno:    5 produktů

Výpočty, svazek III

Závěrečný svazek trilogie Výpočty se zabývá některými aplikacemi teorie, vyvinuté ve svazcích I a II.

Výpočty, svazek III - Michal Černý

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

Výpočty, svazek III - Michal Černý

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

Výpočty, svazek III - Černý Michal, Černý Michal

Publikace: Výpočty, svazek III - Černý Michal;Černý Michal. 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ýpočty, svazek III - Černý Michal, Černý Michal

Publikace: Výpočty, svazek III - Černý Michal;Černý Michal. 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 ...