Probíhá komunikace se serverem...

ČVUT eobchod
česky english Podporované platby kartou Visa a Master card
Šestáková, Eliška: Automata and Grammars. A Collection of Exercises and Solutions
Učební text v angličtině je koncipován především jako sbírka řešených příkladů z teorie formálních jazyků, gramatik a automatů. U jednotlivých úloh jsou spolu s řešením vždy uvedeny i hlavní myšlenky, které k danému řešení vedly. Autorka též vysvětlu...
ČVUT eobchod207 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 eobchod249 Kč vč.DPH
Medřický, Vladimír: Hydrotechnické stavby 2. Vodní cesty
Učební text Hydrotechnické stavby 2 - Vodní cesty je určen studentům Fakulty stavební ČVUT v Praze jako studijní pomůcka pro osvojení základních znalostí pro navrhování, výstavbu a provozování vnitrozemských vodních cest. Stručný text je provázen jen...
ČVUT eobchod157 Kč vč.DPH
Stýblo, Zbyšek: Knihovny v době nových médií
Uchovávání informací prostřednictvím písma je jedním z nejvýznamnějších kulturních vynálezů lidstva. Změny v technologii jeho záznamu znamenaly často revoluční přerod ve vývoji celých kultur. Svědkem těchto dramatických civilizačních změn je i vývoj ...
ČVUT eobchod265 Kč vč.DPH
Neustupa, Jiří: Matematika II
Skripta s výkladem a s příklady k přednášce i ke cvičení z látky předmětu Matematika II, jehož obsahem jsou témata: Diferenciální počet funkce více proměnných - limita, spojitost, parciální derivace, gradient, iplicitní funkce, extrémy. Integrální po...
ČVUT eobchod179 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:

Novák:Drony

389 Kč

Kadlec: Measurement and Control of Chemical, Food and B...

2318 Kč

ERA 21 č.5

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