Probíhá komunikace se serverem...

ČVUT eobchod
česky english Podporované platby kartou Visa a Master card
Ditl, Pavel: Bilancování a simulace systémů v MS Excel
Nejčastěji se setkáváme s bilancováním linek a aparátů při projektování, optimalizaci a rozhodovací činnosti typu "Co se stane, když?" např. při instruktáži a výchově obsluhy, hledání poruch a jejich příčin, hledání úzkých míst linky a ekon...
ČVUT eobchod360 Kč vč.DPH
Suchánek, Jan: Erozivní opotřebení materiálů
Častou příčinou poruch funkčních součástí strojního zařízení v řadě technologických procesů je jejich opotřebení vyvolané účinkem tvrdých, obvykle minerálních, částic. Ty mohou působit na povrch součástí abrazivně nebo erozivně v závislosti na vnější...
ČVUT eobchod274 Kč vč.DPH
Kraus, Ivo: Fyzika v kulturních dějinách Evropy 5. díl Atomový věk
Dvacáté století dosáhlo v historii naší planety nejen smutného prvenství v desítkách milionů obětí válečných konfliktů, ale, naštěstí, i v úspěších exaktních věd; díky nim je náš život snazší a bohatší. Cesty k využití jaderného štěpení, tranzistorov...
ČVUT eobchod382 Kč vč.DPH
Čuba, Václav: Praktikum z radiační chemie a fotochemie
Učební text je určený především studentům oboru Jaderná chemie na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze, ale také všem, kteří se věnují studiu či výuce ostatních fyzikálně chemických disciplín. Stručně shrnuje chemické důsledky interakc...
ČVUT eobchod187 Kč vč.DPH
Termohrnek ČVUT
Bílý dvoustěnný termohrnek s logem ČVUT, nerezový, plastové šroubovací víčko, objem 450 ml, výška 19,5 cm. Není určen k mytí v myčce.
ČVUT eobchod200 Kč vč.DPH
Schovat slider
 

Hejna: Informační termodynamika - Goedelovy věty, přenos informace, termodynamika a Caratheodoryho věty

Rok vydání 2017
Nakladatel Hejna
ISBN 978-80-7080-985-3
Cena (vč.DPH 10 %) 400 Kč
Skladem 1 ks
Počet  ks
Popis produktu:
Publikace navazuje na předchozí práce "Informacni termodynamika I." a "Informacni termodynamika III." Zabývá se obecnými rysy problému tvrzení nerozhodnutelných v rekurzívně axiomatizovatelné teoriích. Neaplikuje ale běžnou logicko-syntaktickou konstrukci důkazu nerozhodnutelnosti bezespornosti. Volí cestu jisté analogie mezi procesy v základních strukturách Teorie vyčíslitelnosti, Teorie informace, Teorie automatů a Termodynamiky. Popsatelnost procesu odvozování tvrzení Peanovy aritmetiky i popsatelnost samotného Goedelova důkazu o její neúplnosti v termínech přenosu informace a toho pak v termínech procesu změny stavu adiabatického termodynamického systému autorovi umožňuje vyslovit to, že Goedelův důkaz a jeho tvrzení o existenci, nerozhodnutelného tvrzení (v rekurzívně axiomatizovatelné teorii, speciálně v Peanově aritmetice) má fyzikální význam důkazu platnosti II. hlavní věty termodynamické a že historicky první formulace jeho významu je podána I. a II. Caratheodoryho větou a jejich sjednocením v Caratheodoryho formulaci tohoto základního přírodního principu. Práce je doplněna dodatky z Teorie vyčíslitelnosti a Termodynamiky, které umožňují čtenáři, aby se zevrubně ale pohodlně poučil o všem, podle autora podstatném, souvisicím s významem klíčového pojmu publikace a to je proces odvozování a jeho realizace vůbec.

Nejčastěji prodávané produkty společně se zobrazeným zbožím:

Zelinský:Fenomén Jan Kotěra

399 Kč

Barvíř, Tomáš: ECDL

149 Kč

Vochozka: Finance podniku: Komplexní pojetí

489 Kč
ČVUT Ochrana osobních údajů Helpdesk