Logo Logo
Výpočty - svazek III
Výpočty - svazek III
Krátky popis Zľavnený produkt Výpočty - svazek III od výrobca Professional Publishing u nás nájdete v akcii za 15,90 €.
Obvyklá cena
  • 15,90
Výrobca/Značka
Professional Publishing
EAN 9788074310850
Hodnotenie
(Celkom 30 hodnotenia )
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.
Ďalšie produkty od výrobcu Professional Publishing
Ďalšie produkty v kategórii Matematika, logika